A Formal Modeling Method Applied to Environmental-Knowledge Engineering. - Alfredo Simón-Cuevas; Luigi Ceccaroni; Alejandro Rosete-Suárez; Amhed Suarez-Rodriguez (CISIS, 2009)