A multi-agent architecture for automated product technical specifications verification in CAD environments | IEEE Conference Publication | IEEE Xplore