Design and Verification of Microprocessor Systems for High-Assurance Applications - David S. Hardin; Hardin, David S. (Springer US, 2010)