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