Tools and Algorithms for the Construction and Analysis of Systems - Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard (Springer International Publishing, 2019)