Verification, validation, qualification and certification of enterprise models: Statements and opportunities. - Vincent Chapurlat; C. Braesch (Comput. Ind., 2008)