Model Checking for Autonomic Systems Specified with ASSL

Model-Based Testing Design for Embedded Automotive Software

Model-based verification of embedded software

Model-Driven Theme/UML

Modeling Service-Oriented Architectures of Mobile Applications by Extending SoaML with Ambients

Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL

Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report

Interactive Techniques to Support the Configuration of Complex Feature Models

International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages NFP in DSML

Introducing Agility into Plan-based Assessments