Verification and Validation in Support for Software Certification Methods. - Anca I. Vermesan; Jarle Sjøvag; Per Martinsen; Keith Bell (EUROVAV, 1999)