Malte Mauritz, Falk Howar, Andreas Rausch: From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime. MASE@MoDELS 2015: 43-52