VERification-oriented & component-based model Driven Engineering for real-time embedded systems
France
Germany
Norway