Cheryl Harkness Elizabeth Wolf Verifying the Summit Bus Converter Protocols with Symbolic Model Checking. 83-97 1994 4 Formal Methods in System Design 2 db/journals/fmsd/fmsd4.html#HarknessW94 http://dx.doi.org/10.1007/BF01384079