SAE/TP 2009-01-3234 (PDF) Model-Based Engineering for the Development of ARINC653 Architectures