K. H. Kim Chittur Subbaraman Fault-Tolerant Real-Time Objects. 75-82 1997 40 Commun. ACM 1 db/journals/cacm/cacm40.html#KimS97