Using timed CSP during object oriented design of real-time systems

Peter G. O Donoghue, M. Elizabeth C. Hull. Using timed CSP during object oriented design of real-time systems. Information \& Software Technology, 38(2):89-102, 1996. [doi]

@article{ODonoghueH96,
  title = {Using timed CSP during object oriented design of real-time systems},
  author = {Peter G. O Donoghue and M. Elizabeth C. Hull},
  year = {1996},
  doi = {10.1016/0950-5849(95)01049-1},
  url = {http://dx.doi.org/10.1016/0950-5849(95)01049-1},
  tags = {C++, design},
  researchr = {https://researchr.org/publication/ODonoghueH96},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {38},
  number = {2},
  pages = {89-102},
}