Tools and Algorithms for the Construction and Analysis of Systems - Erika ÃbrahÃ¡m, Klaus Havelund; Havelund, Klaus (Springer Berlin Heidelberg, 2014)