Design and Verification of Microprocessor Systems for High-Assurance Applications - Hardin, David S.; SpringerLink (Online service) (Boston, MA : Springer US, 2010)
Keywords: Engineering; Computer aided design; System safety; Systems engineering; Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Quality Control, Reliability, Safety and Risk