Model Extraction for ARINC 653 Based Avionics Software | Publicación