Behavioural models: from modelling finite automata to analysing business processes - Kunze, Matthias; Weske, Mathias (Springer, 2016)