VERification-oriented & component-based model Driven Engineering for real-time embedded systems
From System Modeling to S/W running on the Vehicle
Service-Oriented Device & Delivery Architectures
