Preventing second level and avoiding first level deadlocks in FMS | IEEE Conference Publication | IEEE Xplore