Industrial applications of software synthesis via category theory | IEEE Conference Publication | IEEE Xplore