Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules.