Authors: WALTER CJ LINCOLN P SURI N

Citation: Cj. Walter et al., FORMALLY VERIFIED ONLINE DIAGNOSIS, IEEE transactions on software engineering, 23(11), 1997, pp. 684-721

Authors: SURI N HUGUE MM WALTER CJ

Citation: N. Suri et al., SYNCHRONIZATION ISSUES IN REAL-TIME SYSTEMS, Proceedings of the IEEE, 82(1), 1994, pp. 41-54