Technical Programme

T10-01	Making SafeConcert Security-Informed to Enable Multi-Concern Modelling Barbara Gallina and Zulqarnain Haider
T10-02	Model-based Analysis of Timing Errors for Reliable UAV Design Thomas Mutzke, Mikael Steurer, Andrey Morozov and Klaus Janschek
T10-03	Utilizing Model-Based Timing Analysis for Holistic Dependability Assessment of Unmanned Aerial Vehicles Mikael Steurer,Thomas Mutzke, Andrey Morozov, Klaus Janschek and Klaus-Peter Neitzke