Systèmes temps réel embarqués - Spécification, conception, implémentation et validation temporelle - Livre Automatique et robotique de Francis Cottet - Dunod