Update DTMC

Update DTMC1