@PhdThesis{sanchez07deadlock,
  author = 	 {C\'{e}sar S\'{a}nchez},
  title = 	 {Deadlock Avoidance for Distributed Real-time and Embedded Systems},
  school = 	 {Computer Science Department, Stanford University},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  month = 	 {May},
  OPTnote = 	 {},
  OPTannote = 	 {}
}