Validation and verification of software process models | lit.salon