Jeffrey M. Voas: Certifying Software for High-Assurance Environments. IEEE Softw. 16(4): 48-54 (1999)