Outcome of a Dagstuhl Seminar: Model-Based Engineering of Embedded Real-Time Systems 2007

Part I: Foundation

Part II: Language Engineering

Part III: Modeling

Part IV: Model Analysis

Part V: Approaches