Towards a Full Specification and Use of Overlap Relationships between Work Products in MDE Software Processes | IEEE Conference Publication | IEEE Xplore