Adding some files for fDTMC and composedDTMC