An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems | IEEE Conference Publication | IEEE Xplore