Tools and Algorithms for the Construction and Analysis of Systems - Legay; Margaria, Tiziana (Springer Berlin Heidelberg, 2017)