Modélisation et analyse de systèmes embarqués Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET, Bernard DUBUISSON, SEE