added a description into papyrus description and System/Software Model Verification