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