Behavioural Models From Modelling Finite Automata to Analysing Business Processes - Kunze, Matthias; Weske, Mathias (Springer International Publishing : Imprint: Springer, 2016)