Design and Verification of Microprocessor Systems for High-Assurance ApplicationsHardin, David S.142,95€