@phdthesis{cernyThesis,
  author = Pavol {\v C}ern\'y
  title = Software Model Checking for Confidentiality
  school = University of Pennsylvania
  address = Philadelphia, PA, USA
  year = 2009
}