converted existing specification into SBML format