1. Lecture Notes in Computer Science;R Bill,2014
2. Cabac, L., Haustermann, M., Mosteller, D.: Software development with Petri nets and agents: approach, frameworks and tool set. Sci. Comput. Program. 157, 56–70 (2018). https://doi.org/10.1016/j.scico.2017.12.003
3. Gerking, C., Schäfer, W., Dziwok, S., Heinzemann, C.: Domain-specific model checking for cyber-physical systems. In: Famelis, M., Ratiu, D., Seidl, M., Selim, G.M.K. (eds.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation MoDeVVa@MoDELS’15, Ottawa, Canada. CEUR Workshop Proceedings, vol. 1514, pp. 18–27. CEUR-WS.org (2015). http://ceur-ws.org/Vol-1514/paper3.pdf
4. Kleppe, A.: Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Pearson Education, London (2008)
5. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 2.5.1). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg (Nov 2020). http://www.renew.de/