@InProceedings{OrlicBroenink07a,
  title =        "{CSP} and {R}eal-{T}ime: {R}eality or {I}llusion?",
  author=        "Orlic,  Bojan and Broenink,  Jan F.",
  editor=        "McEwan,  Alistair A. and Schneider,  Steve and Ifill,  Wilson and Welch, Peter H.",
  pages =        "119--148",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn=          "978-1-58603-767-3",
  year=          "2007",
  month=         "jul",
  abstract=      "This paper deals with the applicability of CSP in general
     and SystemCSP, as a notation and design methodology based on
     CSP, in particular in the application area of real-time
     systems. The paper extends SystemCSP by introducing
     time-related operators as a way to specify time properties.
     Since SystemCSP aims to be used in practice of real-time
     systems development, achieving real-time in practice is also
     addressed. The mismatch between the classical scheduling
     theories and CSP paradigm is explored. Some practical ways
     to deal with this mismatch are presented."
}