Constraint programming approach to design of deadlock-free schedules in concurrent production systems | IEEE Conference Publication | IEEE Xplore