Integrated & Distributed Engineering Services framework for MDO
VERification-oriented & component-based model Driven Engineering for real-time embedded systems