D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
W. Kügler. Europäische Hochschulschriften: Reihe 13, Französische Sprache und Literatur Lang, Frankfurt/M., Berlin, Bern, Bruxelles, New York, Wien, (1984)
J. Bender, M. Fischlin, and D. Kügler. Information Security, volume 5735 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-04474-8_3.(2009)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309--324. Springer-Verlag, Berlin, (2005)
F. Kaske, M. Kugler, and S. Smolnik. Proceedings of the 2012 45th Hawaii International Conference on System Sciences, page 3898--3907. Washington, DC, USA, IEEE Computer Society, (2012)