Algorithmique et modélisation pour la qualité de service des systèmes répartis temps réel — Laurent Leboucher