@book{KunzeWeske2016,
  author    = {Matthias Kunze and Mathias Weske},
  title     = {Behavioural Models},
  series    = {From Modelling Finite Automata to Analysing Business Processes},
  isbn      = {978-3-319-44958-6},
  year      = {2016},
}