Alexandria: A Tool for Hierarchical Verification. - Annette Bunker; Trent N. Larson; Michael D. Jones; Phillip J. Windley (FMCAD, 1998)