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