Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. In FTCS. pages 68-75, 1999. [doi]
Abstract is missing.