Jacques Combaz Jean-Claude Fernandez Thierry Lepley Joseph Sifakis QoS control for optimality and safety. 90-99 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086247 db/conf/emsoft/emsoft2005.html#CombazFLS05