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