On deadlock-free scheduling in FMS | IEEE Conference Publication | IEEE Xplore