Michael L. Case Victor N. Kravets Alan Mishchenko Robert K. Brayton Merging nodes under sequential observability. 540-545 2008 DAC http://doi.acm.org/10.1145/1391469.1391605 conf/dac/2008 db/conf/dac/dac2008.html#CaseKMB08