added support for sink states
model checking file generator fix.
started generating dtmc file
Fixed issues in generating DTMC map
Merge branch 'feature/modelCheckingFix' into develop