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