Kinirty, J. A. «Métodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte». Ingenierías USBMed, vol. 2, n.º 1, junio de 2011, pp. 15-17, doi:10.21500/20275846.243.