Bollig, B., Katoen, J., Kern, C., & Leucker, M. (2010). SMA – The Smyle Modeling Approach. Computing and Informatics, 29(1), 45–72. https://cai.type.sk/content/2010/1/sma-the-smyle-modeling-approach/