Generate a valid CTMC model, to be completed