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