Behavioural models : from modelling finite automata to analysing business processes (2016)