cd /src
clm -ms -IL Platform -nr -nt DTMC -o dtmc
bash