Tutorial: scheduling manufacturing systems with FACTOR | IEEE Conference Publication | IEEE Xplore