Annette Bunker Ganesh Gopalakrishnan Sally A. McKee Formal hardware specification languages for protocol compliance verification. 1-32 2004 9 ACM Trans. Design Autom. Electr. Syst. 1 http://doi.acm.org/10.1145/966137.966138 db/journals/todaes/todaes9.html#BunkerGM04