@inbook{Davies&Schneider1994:Realtime,
  title = "Real-time {CSP}",
  author = "J. Davies and S. Schneider",
  year = "1994",
  booktitle = "Theories and Experiences for Real-time Systems",
  publisher = "World Scientific",
}