Programming distributed fault tolerant systems: The replic Ada Approach - De Las Heras-Quirós P; Gonzalez-Barahona J; Centeno-González J (Proceedings Of The Conference On Tri-Ada 1997, Tri-Ada 1997, 1997)