@inproceedings{inproceedings3c5bc5b7, title = {Cmt: a fault tolerant and fail safe microprocessed interlocking system}, author = {Pedroso, G and Rangel, A P and Dias, Francisco José de Oliveira}, year = {1992}, publisher = {Computational Mechanics Publications}, booktitle = {International Conference on Computer Aided Design, Manufacture, and Operation in the Railway and Other Advanced Mass Transit Syems} }