Jayanta Bhadra Andrew K. Martin Jacob A. Abraham A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor. 67-112 2005 27 Formal Methods in System Design 1-2 http://dx.doi.org/10.1007/s10703-005-2250-1 db/journals/fmsd/fmsd27.html#BhadraMA05