Integrating Temporal Logics and Model Checking Algorithms.

Teodor Rus and Eric Van Wyk,

Proceedings of 4th AMAST Workshop on Real-Time Systems, LNCS, vol. 1231, pp. 95-110, Springer Verlag, 1997.

PDF