@article{RNTI/papers/1000530, author = {Jean-François Hermant and Laurent George}, title = {A C-space sensitivity analysis of Earliest Deadline First scheduling}, journal = {Revue des Nouvelles Technologies de l'Information}, volume = {ISoLA 2007, Workshop on leveraging applications of formal methods, verification and validation,, RNTI-SM-1}, year = {2007}, pages = {21-33} }