Tools and Algorithms for the Construction and Analysis of Systems - Groote, Jan Friso; Larsen, Kim Guldstrand (Springer International Publishing, 2021)