Job shop deadlock-free scheduling using Mixed Integer Programming and rank matrices | IEEE Conference Publication | IEEE Xplore