Visual Abstractions for Temporal Verification
by Manna, Z. and Browne, A. and Sipma, H. and Uribe, T.
in AMAST’98, vol. 1548, pp. 28-41,
