Rigorous Development of an Embedded Fault-Tolerant 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 an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. 164-179 2002 51 IEEE Trans. Computers 2 http://www.computer.org:80/tc/tc2002/t0164abs.htm db/journals/tc/tc51.html#XuRRSZCH02