Stephen J. H. Yang, William C. Chu, Jonathan Lee. Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic. International Journal of Software Engineering and Knowledge Engineering, 9(2):233-250, 1999. [doi]
Abstract is missing.