MODEL-BASED SOFTWARE DEVELOPMENT FOR AVIONICS - Ferreira, Miguel Bernardino (2023)