Bollig, B., Katoen, J. P., Kern, C. and Leucker, M. (2012) “SMA -- The Smyle Modeling Approach”, COMPUTING AND INFORMATICS, 29(1), pp. 45–72. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/73 (Accessed: 1 April 2023).