Tony Savor, Rudolph E. Seviora. An Approach to Automatic Detection of Software Failures in Real-Time Systems. In 3rd IEEE Real-Time Technology and Applications Symposium (RTAS 97), 9-11 June 1997, Montreal, Canada. pages 136, IEEE Computer Society, 1997. [doi]
Abstract is missing.