@book{Davies1993:Specification,
  title = "Specification and Proof in Real-time {CSP}",
  author = "J. Davies",
  year = "1993",
  publisher = "Cambridge University Press",
}