An industrial case study of the verification and validation activities | IEEE Conference Publication | IEEE Xplore