Tailoring and verifying software process | IEEE Conference Publication | IEEE Xplore