Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs - Schrammel, P; Jeannet, B (Springer, 2011)