@inproceedings{poernomo:hal-01527384,
  TITLE = {{A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management}},
  AUTHOR = {Poernomo, Iman and Umarov, Timur},
  URL = {https://inria.hal.science/hal-01527384},
  NOTE = {Part 2: Modelling and Formal Methods in Software Development},
  BOOKTITLE = {{4th Central and East European Conference on Software Engineering Techniques (CEESET)}},
  ADDRESS = {Krakow, Poland},
  EDITOR = {David Hutchison and Takeo Kanade and Madhu Sudan and Demetri Terzopoulos and Doug Tygar and Moshe Y. Vardi and Gerhard Weikum and Tomasz Szmuc and Marcin Szpyrka and Jaroslav Zendulka and Josef Kittler and Jon M. Kleinberg and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen},
  PUBLISHER = {{Springer}},
  SERIES = {Advances in Software Engineering Techniques},
  VOLUME = {LNCS-7054},
  PAGES = {136-149},
  YEAR = {2009},
  MONTH = Oct,
  DOI = {10.1007/978-3-642-28038-2\_11},
  PDF = {https://inria.hal.science/hal-01527384/file/978-3-642-28038-2_11_Chapter.pdf},
  HAL_ID = {hal-01527384},
  HAL_VERSION = {v1},
}