@inproceedings{timedCSPtheory,
  title = "{Timed CSP: theory and practice}",
  author = "A. W. Roscoe and J.Davies and D.Jackson and G.M.Reed and J.Reed and S.A. Schneider",
  year = "1992",
  booktitle = "Proceedings of {REX} Workshop",
  publisher = "LNCS",
  volume = "600",
}