Software & patents TESL: Tagged Events Specification Language ModHelX: ModHel'X - A framework for heterogeneous modeling TemporalOCL: Temporal OCL Plugin for Eclipse RiseClipse: MDE for IEC standards Synchro CORAC: Synchronization mechanism for critical systems OntoEvent-B: A Generator of Event-B contexts from Ontologies