Credible execution of bounded-time parallel systems with delayed diagnosis. - Raghu Shankar; Daniel P. Miranker (Computing, 1992)