A Methodology for Model-based Development and Safety Analysis of Transport Systems. - Simon Hordvik; Kristoffer Øseth; Jan Olaf Blech; Peter Herrmann (ENASE, 2016)

Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. - Simon Hordvik; Kristoffer Øseth; Henrik Heggelund Svendsen; Jan Olaf Blech; Peter Herrmann (ENASE (Selected Papers), 2016)