Arcile J, Didier J-Y, Klaudel H, Devillers RR, Rataj A.  2015.  Indefinite waitings in MIRELA systems. Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015..