Update DTMC

Update DTMC2