Changed description of TWT's activities
Added directory for TWT's model verification activities
Start of Mission as coloured Petri net (CPNTools format)
Merge pull request #88 from srieger/master

TWT user story, updated activities, SoM model