Zohar Manna Anca Browne Henny Sipma Tomás E. Uribe Visual Abstractions for Temporal Verification. 28-41 1998 conf/amast/1998 AMAST http://link.springer.de/link/service/series/0558/bibs/1548/15480028.htm db/conf/amast/amast98.html#MannaBSU98