Logical Time @ Work pour la modélisation et l'analyse des systèmes embarqués