Kinirty, J.A. 2011. Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Ingenierías USBMed. 2, 1 (jun. 2011), 15–17. DOI:https://doi.org/10.21500/20275846.243.