A Formal Modeling Method Applied to Environmental-Knowledge Engineering | IEEE Conference Publication | IEEE Xplore