Production scheduling systems using PROVISA | IEEE Conference Publication | IEEE Xplore