Demonstrable Fault Tolerance for Distributed Ada. - Patrick Rogers; Steve O'Neill; Marc Pitarys; Kenneth Littlejohn (TRI-Ada, 1993)