Stephen J. H. Yang, Sam Lin, Jonathan Lee, William C. Chu. Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. In 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE 98), 13-14 November 1998, Washington, D.C, USA, Proceedings. pages 150, IEEE Computer Society, 1998. [doi]
Abstract is missing.