Update DTMC

Update DTMC3