Tempo logico @ Lavoro per la modellazione e l’analisi dei sistemi embedded