1. Anh, B.T.M., Stinckwich, S., Ziane, M., Roche, B., Vinh, H.T.: Kendrick: A domain specific language and platform for mathematical epidemiological modelling. In: The 2015 IEEE RIVF International Conference on Computing & Communication Technologies-Research, Innovation, and Vision for Future (RIVF), pp. 132–137. IEEE, Piscataway (2015)
2. Antao, T., Hastings, I.M., McBurney, P.: Ronald: A domain-specific language to study the interactions between malaria infections and drug treatments. In: BIOCOMP, pp. 747–752 (2008)
3. Barrett, C., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Model Checking, pp. 305–343. Springer, Berlin (2018)
4. Barzdins, J., Cerans, K., Kalnins, A., Grasmanis, M., Kozlovics, S., Lace, L., Liepins, R., Rencis, E., Sprogis, A., Zarins, A.: Domain specific languages for business process management: A case study. In: Proceedings of DSM, vol. 9, pp. 34–40 (2009)
5. Broy, M., Kirstan, S., Krcmar, H., Schätz, B., Zimmermann, J.: What is the benefit of a model-based design of embedded software systems in the car industry? In: Software Design and Development: Concepts, Methodologies, Tools, and Applications: Concepts, Methodologies, Tools, and Applications, p. 310. IGI Global, Pennsylvania (2013)