Kinirty, J. A. Métodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte. Ing.USBMed 2011, 2, 15-17.