Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / - Ehrig, Hartmut.; Kreowski, H.-J. (Springer,, 2005)