Export to CTMC produces a valid CTMC model