Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions (1999)

by J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A.F. Zorzo, E. Canver, F. von Henke
Venue:In 29th International Symposium on Fault-Tolerant Computing