A formal part mating model for generating compliance control strategies of assembly operations | IEEE Conference Publication | IEEE Xplore