Adnan Aziz Thomas R. Shiple Vigyan Singhal Robert K. Brayton Alberto L. Sangiovanni-Vincentelli Formula-Dependent Equivalence for Compositional CTL Model Checking. 193-224 2002 21 Formal Methods in System Design 2 db/journals/fmsd/fmsd21.html#AzizSSBS02