Enviar Registro por Correo electrónico: Design and Verification of Microprocessor Systems for High-Assurance Applications /