Bollig, B. et al. 2012. SMA -- The Smyle Modeling Approach. COMPUTING AND INFORMATICS. 29, 1 (Jan. 2012), 45–72.