Tools and Algorithms for the Construction and Analysis of SystemsParosh Aziz Abdulla, K. Rustan M. Leino₹5,593
