Visual Verification of Reactive Systems
by de Alfaro, L. and Manna, Z. and Sipma, H. and Uribe, T.
in TACAS, vol. 1217, pp. 334-350,
