Best Paper Award Our paper „A Methodology for Model-based Development and Safety Analysis of Transport Systems“ won the ENASE 2016 Best Paper Award