Behavioural Models - Kunze, Matthias.;Weske, Mathias. (Springer International Publishing, 2016)