Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

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. 68-75 1999 FTCS http://computer.org/proceedings/ftcs/0213/02130068abs.htm db/conf/ftcs/ftcs99.html#XuRRSZCH99