A Verification Method for MASOES. - Niriaska Perozo; José Lisandro Aguilar; Oswaldo Terán; Heidy Molina (IEEE Trans. Cybern., 2013)