Nesrine Badache, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul: Managing temporal allocation in Integrated Modular Avionics. ETFA 2014: 1-8