Logiciels et brevets TESL : Tagged Events Specification Language ModHelX : ModHel'X - A framework for heterogeneous modeling TemporalOCL : Temporal OCL Plugin for Eclipse RiseClipse : IDM pour les standards de l'IEC Synchro CORAC : Procédé de synchronisation pour systèmes critiques OntoEvent-B : Générateur de contextes Event-B à partir des ontologies