Bollig, B.; Katoen, J. P.; Kern, C.; Leucker, M. SMA -- The Smyle Modeling Approach. Comput. Inform. 2012, 29, 45-72.