Brave, YitzhakBonvin, Dominique2004-11-262004-11-262004-11-26199310.1007/978-3-0348-9120-2_5https://infoscience.epfl.ch/handle/20.500.14299/173241A Minimally Restrictive Policy for Deadlock Avoidance in a Class of FMStext::book/monograph::book part or chapter