1. Lecture Notes in Computer Science;P. Attie,2001
2. Lecture Notes in Computer Science;M. Balser,2004
3. Bastos, R., Ruiz, D.: Extending uml activity diagram for workflow modeling in production systems. In: Proceedings of the 35th Annual Hawaii International Conference on System Sciences, HICSS, pp. 3786–3795 (January 2002)
4. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for ltl and tltl. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1–14:64 (2011)
5. Becker, S., Brenner, C., Dziwok, S., Gewering, T., Heinzemann, C., Pohlmann, U., Priesterjahn, C., Schäfer, W., Suck, J., Sudmann, O., Tichy, M.: The mechatronicuml method - process, syntax, and semantics. Tech. Rep. tr-ri-12-318, Software Engineering Group, Heinz Nixdorf Institute University of Paderborn (2012)