Jeannet, B. Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs. BRICS 2000, 7.