| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Systèmes temps réel embarqués - 2e éd. - Spécification, conception, implémentation et validation tem: Spécification, conception, implémentation et validation temporelle | 978-2-1O-O71331-8 (2-1O-O71331-O) | 2014 | Francis Cottet |