Validation of fault-free behavior of a reliable multiprocessor system FTMP a case study - Clune, Ed; Segall, Zary; Siewiorek, Daniel (1984)