src/HOL/CTL/document/root.bib

HOL-Real -> HOL-Complex

@Misc{McMillan-LectureNotes,
  author =	 {Ken McMillan},
  title =	 {Lecture notes on verification of digital and hybrid systems},
  note =	 {{NATO} summer school, \url{http://www-cad.eecs.berkeley.edu/~kenmcmil/tutorial/toc.html}}
}

@PhdThesis{McMillan-PhDThesis,
  author = 	 {Ken McMillan},
  title = 	 {Symbolic Model Checking: an approach to the state explosion problem},
  school = 	 {Carnegie Mellon University},
  year = 	 1992
}