Kinirty, Joseph A. 2011. «Métodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte». Ingenierías USBMed 2 (1):15-17. https://doi.org/10.21500/20275846.243.