Text & Model-Synchronized Document Engineering Platform
Multi-Concerns Interactions System Engineering
Open Platform for the Engineering of Embedded Systems
VERification-oriented & component-based model Driven Engineering for real-time embedded systems