A CAD-integrated prototype for disassembly constraint modelling | IEEE Conference Publication | IEEE Xplore