Jørgen F. Søgaard-Andersen Stephen J. Garland John V. Guttag Nancy A. Lynch Anna Pogosyants Computer-Assisted Simulation Proofs. 305-319 1993 conf/cav/1993 CAV db/conf/cav/cav93.html#Sogaard-AndersenGGLP93 http://dx.doi.org/10.1007/3-540-56922-7_25