Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi. An event-based real-time logic to specify the behavior and timing properties of real-time systems. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 210-219, IEEE, 1991. [doi]
Abstract is missing.