SBML stm transformation