B. Bollig, J. P. Katoen, C. Kern, and M. Leucker, “SMA -- The Smyle Modeling Approach”, Comput. Inform., vol. 29, no. 1, pp. 45–72, Jan. 2012.