Finished to write the quantitative part and ispelled the files
Formatted the quantitative document
Fixed an error on CTMC definition and replaced the compiled version