Design and Verification of Microprocessor Systems for High-Assurance ApplicationsDavid S. Hardin₹11,555