Kinirty, Joseph A. «Métodos Formales Para Verificar Los Nuevos Desarrollos En Sistemas De Transporte». Ingenierías USBMed 2, no. 1 (junio 30, 2011): 15–17. Accedido enero 24, 2022. https://revistas.usb.edu.co/index.php/IngUSBmed/article/view/243.