On integrating the MOBIUS and MODEST modeling tools

frame-work components. This translation preserves the structureof the models, allowing efficient solutions. The frameworkis implementedin the toolby a well-definedAbstract Func-tional Interface (AFI). Models and solution techniques in-teract with one another through the use of the standardinterface, allowing them to interact with M