Bollig, B. et al. 2012. SMA -- The Smyle Modeling Approach. Computing and Informatics. 29, 1 (Jan. 2012), 45–72.