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)
C. Czwick, S. Kugler, J. Greven, and R. Anderl. PLM, volume 565 of IFIP Advances in Information and Communication Technology, page 136-145. Springer, (2019)
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)