Devesh Bhatt. Implementing a distributed fault-tolerant embedded system in Ada. In Charles B. Engle Jr., editor, Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990. pages 323-331, ACM, 1990. [doi]
Abstract is missing.