Tools and Algorithms for the Construction and Analysis of Systems - Marsha Chechik, Jean-François Raskin (Springer, 2016)