Symbolic circuit analysis under an arc based timing model Fey, Görschwin Garcia-Ortiz, Alberto 2019 - TUHH Open Research