Solution development and verification as part of a product change management process : A case study