Sistema para el análisis automático de modelos de navegación en. - Martín González Rodríguez; E. del Moral Perez; Juan Manuel Cueva Lovelle (Inteligencia Artif., 2002)