00356nas a2200133   4500000000100000008004100001100001700042700002100059700001800080700002200098700001600120245004400136856004200180       2015                            d1 aJohan Arcile1 aJean-Yves Didier1 aHanna Klaudel1 aRaymond Devillers1 aArtur Rataj00aIndefinite waitings in {MIRELA} systems  uhttp://dx.doi.org/10.4204/EPTCS.184.1