Current position of former project-team members (including PhD students during
the period 2003-2006) ...... I3S Research Report I3S/RR-2005-20-FR (.pdf), ......
Specification and Validation of UML Models for Real-Time ... livre déjà cité sur les
systèmes embarqués [2]. ...... parce qu'elle permet de corriger les défauts (bruit,. 
