D. Gomm, E. Kindler, B. Paech, and R. Walter. Application and Theory of Petri Nets, volume 691 of Lecture Notes in Computer Science, page 262-281. Springer, (1993)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
S. Mennicke, J. Schicke-Uffmann, and U. Goltz. Formal Techniques for Distributed Objects, Components, and Systems, volume 8461 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
S. Mennicke, M. Lochau, J. Schroeter, and T. Winkelmann. Proceedings of the 18th International Software Product Line Conference - Volume 1, page 62--71. New York, NY, USA, ACM, (2014)