first version classicalB
Merge remote-tracking branch 'refs/remotes/origin/master'
Latex correction of appendix ERTMSformalSpec and update of pdf