Verification support for ARINC-653-based avionics software. - Pedro de la Cámara; J. Raúl Castro; María-del-Mar Gallardo; Pedro Merino 001 (Softw. Test. Verification Reliab., 2011)