added new specification in SBML-like format