Temporal Precondition Verification of Design Transformations. - Ranga Vemuri; Anuradha Sridhar (CAV, 1991)