Applying abstract acceleration to (co−)reachability analysis of reactive programs - Schrammel, P; Jeannet, B (2012)