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

Using live sequence charts for hardware protocol specification and compliance verification. - Annette Bunker; Ganesh Gopalakrishnan (HLDVT, 2001)

Formal hardware specification languages for protocol compliance verification. - Annette Bunker; Ganesh Gopalakrishnan; Sally A. McKee (ACM Trans. Design Autom. Electr. Syst., 2004)

Applying a Visual Specification Language to Hardware Protocol Verification. - Annette Bunker (2004)

Live sequence charts applied to hardware requirements specification and verification. - Annette Bunker; Ganesh Gopalakrishnan; Konrad Slind (Int. J. Softw. Tools Technol. Transf., 2005)

Improving Translation of Live Sequence Charts to Temporal Logic. - Rahul Kumar 004; Eric G. Mercer; Annette Bunker (AVoCS, 2007)