Tools and Algorithms for the Construction and Analysis of Systems - Halbwachs, Nicolas; Kanade, Takeo; Zuck, Lenore D.; Zuck, Lenore; Kittler, Josef (Springer Berlin / Heidelberg, 2005)