added a description into papyrus description and System/Software Model Verification
Merge pull request #209 from alexn84/master

added small change to papyrus description and System/Software Model Verification