@inproceedings{inproceedings7afd38a5, title = {Controlador de movimentacao de trens: um sistema tolerante a falhas}, author = {Pedroso, G and Almeida, A and Gerecht, A and Dias, Francisco José de Oliveira}, year = {1991}, publisher = {Sucesu}, booktitle = {Congresso Nacional de Informatica} }