@inproceedings{bibcite_15228,
  author = {Johan Arcile and Jean-Yves Didier and Hanna Klaudel and Raymond Devillers and Artur Rataj},
  title = {Indefinite waitings in {MIRELA} systems},
  year = {2015},
  journal = {Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.},
  url = {http://dx.doi.org/10.4204/EPTCS.184.1},
  doi = {10.4204/EPTCS.184.1},
  language = {eng},
}