@book{SmirnovZamaniFarahaniWeske2011,
  author    = {Sergey Smirnov and Armin Zamani Farahani and Mathias Weske},
  title     = {State propagation in abstracted business processes},
  isbn      = {978-3-86956-130-1},
  year      = {2011},
}