Update DTMC

Update DTMC4