Systèmes temps réel embarqués - Spécification, conception, implémentation et validation temporelle05 Nov. 2014