A Formal Verification Framework and Associated Tools for Enterprise Modeling: Application to UEML