@techreport{3865,
  title = "CORRECTNESS AND COMMUNICATION IN REAL-TIME SYSTEMS",
  author = "Steve Schneider",
  year = "1990",
  institution = "OUCL",
  month = "March",
  number = "PRG84",
  pages = "215",
}