@inproceedings{Davies&Schneider1989:Factorising,
  title = "Factorising Proofs in Timed {CSP}",
  author = "J. Davies and S. Schneider",
  year = "1989",
  booktitle = "Real-Time Systems: Theory and Practice",
  publisher = "North-Holland",
}