Bollig, B., Katoen, J.P., Kern, C. and Leucker, M. 2012. SMA -- The Smyle Modeling Approach. COMPUTING AND INFORMATICS. 29, 1 (Jan. 2012), 45–72.