Round-trip Engineering and Variability Management Platform and Process
VERification-oriented & component-based model Driven Engineering for real-time embedded systems