@inbook{5eba0ed99fce490c96cd8e2d65d83f57,
title = "Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3",
author = "Michael Butler and Dana Dghaym and \{Son Hoang\}, Thai and Tope Omitola and Colin Snook and Andreas Fellner and Rupert Schlick and Thorsten Tarrach and Tomas Fischer and Peter Tummeltshammer",
year = "2019",
doi = "10.1109/ICECCS.2019.00018",
language = "English",
isbn = "978-1-7281-4646-1",
pages = "97--106",
booktitle = "2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)",
}