A resynchronization method for real-time supervision. - R. Iorgulescu; Rudolph E. Seviora (RTS, 1994)

A Method for Continuous Real-Time Supervision. - R. Iorgulescu; Rudolph E. Seviora (Softw. Test. Verification Reliab., 1997)