@techreport{timed-failures-stability,
  title = "{The timed failures-stability model for Timed CSP}",
  author = "A. W. Roscoe and G.M. Reed",
  year = "1996",
  institution = "{Oxford University Computing Laboratory}",
  note = "also appeared in Theoretical Computer Science, Vol 211 (1999)",
  number = "{PRG-119}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/60.pdf",
}