A formal verification framework and associated tools for Enterprise Modeling: Application to UEML