@techreport{3901,
  title = "THE TIMED FAILURES-STABILITY MODEL FOR CSP",
  author = "G.M. Reed and A.W. Rosecoe",
  year = "1996",
  institution = "OUCL",
  month = "February",
  number = "PRG119",
  pages = "57",
}