news examples of composedDTMC and some minor fixes