Dagstuhl Seminar Proceedings, Volume 7241,

• Michaela Huhn, Hardi Hungar, and Doron A. Peled 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems 10.4230/DagSemProc.07241.1
• Michaela Huhn, Hardi Hungar, and Doron A. Peled 07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems 10.4230/DagSemProc.07241.2