Reuse, validation and verification of system development processes | IEEE Conference Publication | IEEE Xplore