Metrics - Verification for Decision Model and Notation