Our research group worked on translating models to and from SBML and CellML, from both Antimony and JSim.
Here are the resulting models: