Shin ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno. Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols. In 7th Asian Test Symposium (ATS 98), 2-4 December 1998, Singapore. pages 408-412, IEEE Computer Society, 1998. [doi]
Abstract is missing.