KINIRTY, J. A. Métodos formales para verificar los nuevos desarrollos en sistemas de transporte. Ingenierías USBMed, [S. l.], v. 2, n. 1, p. 15–17, 2011. DOI: 10.21500/20275846.243. Disponível em: https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243. Acesso em: 24 ene. 2022.