@TechReport{JT03,
  author = 	 {Jensen, R.~M.},
  title = 	 {DES Controller Synthesis and Fault Tolerant Control: A Survey of Recent Advances},
  institution =  {IT University of Copenhagen},
  year = 	 2003,
  number =	 {ITU-TR-2003-40}
}