Design and verification of microprocessor systems for high-assurance applications / ed. D. S. Hardin, 2010 r=on-line. - Текст : электронный.