Formal Methods in Software and Systems Modeling - Hutchison, David; Ehrig, Hartmut; Kanade, Takeo; Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele (Springer Berlin / Heidelberg, 2005)