Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems - Research Database, The University of York Other