@inproceedings{inproceedingsc3ab6d37,
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}
}