Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Reusable Services and Semi-automatic Service Composition for Automotive Software