Model Driven Embedded Systems

Combined formal refinement and model checking for real-time systems verification

Languages for system specification

Failure modelling in software architecture design for safety

WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Real-Time Systems

Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol

Electronic Notes in Theoretical Computer Science (ENTCS)

Managing embedded systems complexity with aspect-oriented model-driven engineering

ACM Transactions on Embedded Computing Systems (TECS)