@article{DBLP:journals/tcs/DaviesS95,
  title = "A Brief History of Timed {CSP}",
  author = "Jim Davies and Steve Schneider",
  year = "1995",
  journal = "Theoretical Computer Science",
  number = "2",
  pages = "243-271",
  url = "http://dx.doi.org/10.1016/0304-3975(94)00169-J",
  volume = "138",
}