@TechReport{Nguyen12,
  author      = "Viet Yen Nguyen",
  title       = "Trustworthy Spacecraft Design Using Formal Methods",
  institution = "RWTH Aachen",
  keywords    = "model checking, spacecraft engineering",
  year        = "2013",
  number      = "AIB-2012-17",
  month       = oct,
  url         = "http://aib.informatik.rwth-aachen.de/2012/2012-17.pdf"
}