SAE/TP 2009-01-3262 (PDF) A Multi-Core Platform for Integrated Modular Avionics Derived from a Cross-Domain Embedded System Architecture