@inproceedings{inproceedings27145a83, title = {Safety analysis of railway control systems using statecharts}, author = {Almeida Junior, Jorge Rady de and Camargo Júnior, João Batista}, year = {1997}, publisher = {s. ed.}, booktitle = {World Congress on Railway Research} }