@inproceedings{inproceedings8355244c, title = {Análise de segurança de sistemas de controle metro-ferroviários}, author = {Camargo Júnior, João Batista and Almeida Junior, Jorge Rady de and Gomes da Silva, A C and Dantas Junior, C A}, year = {1995}, publisher = {Cptm/Abnt}, booktitle = {Congresso Internacional de Sistemas de Controle e Integracao Tarifaria} }