@techreport{TemporalLogic,
  title = "A temporal logic for {Timed CSP}",
  author = "D.M. Jackson and J.W. Davies and G.M. Reed and S.A. Schneider",
  year = "1990",
  institution = "{Esprit SPEC project}",
}