Annette Bunker Trent N. Larson Michael D. Jones Phillip J. Windley Alexandria: A Tool for Hierarchical Verification. 515-522 http://dx.doi.org/10.1007/3-540-49519-3_34 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#BunkerLJW98