Laurent Sagaspe Gérard Bel Pierre Bieber Frédéric Boniol Charles Castel Safe Allocation of Avionics Shared Resources. 25-33 2005 conf/hase/2005 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2005.18 db/conf/hase/hase2005.html#SagaspeBBBC05