Scalable and maximally-permissive deadlock avoidance for FMS | IEEE Conference Publication | IEEE Xplore