Janardan Misra. A Framework for Specification and Verification of Timeout Models of Real-Time Systems. In Srinivas Aluru, Sanghamitra Bandyopadhyay, Ümit V. Çatalyürek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt, editors, Contemporary Computing - 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings. Volume 168 of Communications in Computer and Information Science, pages 146-157, Springer, 2011. [doi]
Abstract is missing.