Tools and Algorithms for the Construction and Analysis of Systems - Hermanns, Holger; Kanade, Takeo; Palsberg, Jens; Kittler, Josef (Springer Berlin / Heidelberg, 2006)