Magdy S. Abadir Ken Albin John Havlicek Narayanan Krishnamurthy Andrew K. Martin Formal Verification Successes at Motorola. 117-123 2003 22 Formal Methods in System Design 2 http://dx.doi.org/10.1023/A:1022917321255 db/journals/fmsd/fmsd22.html#AbadirAHKM03