Johan Arcile,, Jean-Yves Didier, Hanna Klaudel, Raymond Devillers, Artur Rataj. Indefinite waitings in MIRELA systems.
4th International Workshop on Engineering Safety and Security Systems (ESSS 2015), Jun 2015, Oslo, Norway. pp.5--18,
⟨10.4204/EPTCS.184.1⟩.
⟨hal-01230054⟩