Flores Fonseca, Víctor Manuel (2010). Generación automática de resúmenes de comportamiento de sistemas dinámicos mediante modelos de conocimiento del dominio. Thesis (Doctoral), Facultad de Informática (UPM).