Idit Keidar Roger Khazan Nancy A. Lynch Alexander A. Shvartsman An inheritance-based technique for building simulation proofs incrementally. 478-487 2000 conf/icse/2000 ICSE http://doi.acm.org/10.1145/337180.337358 db/conf/icse/icse2000.html#KeidarKLS00