J. A. Kinirty, «Métodos formales para verificar los nuevos desarrollos en sistemas de transporte», Ing.USBMed, vol. 2, n.º 1, pp. 15–17, jun. 2011.