@inproceedings{sango:hal-00918907, TITLE = {{Safety component-based approach and its application to ERTMS/ETCS on-board train control system}}, AUTHOR = {Sango, Marc and Gransart, Christophe and Duchien, Laurence}, URL = {https://inria.hal.science/hal-00918907}, BOOKTITLE = {{TRA2014 Transport Research Arena 2014}}, ADDRESS = {Paris, France}, YEAR = {2014}, MONTH = Apr, PDF = {https://inria.hal.science/hal-00918907/file/tra2014_revised.pdf}, HAL_ID = {hal-00918907}, HAL_VERSION = {v1}, }