1. Büttner, F., Gogolla, M.: On OCL-based imperative languages. Sci. Comput. Program. 92, 162–178 (2014).
https://doi.org/10.1016/j.scico.2013.10.003
2. Desai, N., Gogolla, M., Hilken, F.: Executing models by filmstripping: enhancing validation by filmstrip templates and transformation alternatives. In: Proceedings of MODELS 2017 Workshops. CEUR Workshop Proceedings, vol. 2019, pp. 88–94. CEUR-WS.org (2017).
http://ceur-ws.org/Vol-2019/exe_2.pdf
3. Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach to automatic validation of model dynamics. In: Proceedings of Modellierung 2014. LNI, vol. 225, pp. 273–288. GI (2014)
4. Gogolla, M., Hilken, F., Doan, K.H.: Achieving model quality through model validation, verification and exploration. Comput. Lang. Syst. Struct. 54, 474–511 (2018).
https://doi.org/10.1016/j.cl.2017.10.001
5. Gogolla, M., Hilken, F., Doan, K., Desai, N.: Checking UML and OCL model behavior with filmstripping and classifying terms. In: Proceedings of TAP 2017. LNCS, vol. 10375, pp. 119–128. Springer, Cham (2017).
https://doi.org/10.1007/978-3-319-61467-0_7