dtmc.m updated