2010. Heler: Una herramienta para la ingeniería de requisitos automatizada. Entramado. 6, 2 (Dec. 2010), 184–200.