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