Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev. Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng., 16(3):173-182, 2001.
Abstract is missing.