Ahmed Nazeem, Spyros A. Reveliotis: An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. CASE 2012: 686-693