Design and Verification of Microprocessor Systems for High-Assurance Applications - Hardin, David S (Springer Science+Business Media, LLC, 2010)