db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{OrlicBroenink06a,
  title =        "{S}ystem{CSP} - {V}isual {N}otation",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Orlic,  Bojan and Broenink,  Jan F.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "Welch, Peter H. and Kerridge,  Jon and Barnes,  Frederick R. M.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "151--177",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2006",
  isbn=          "978-1-58603-671-3",
  year=          "2006",
  month=         "sep",
  abstract=      "This paper introduces SystemCSP - a design methodology based
     on a visual notation that can be mapped onto CSP
     expressions. SystemCSP is a graphical design specification
     language aimed to serve as a basis for the specification of
     formally verifiable component-based designs of distributed
     real-time systems. It aims to be a graphical formalism that
     covers various aspects needed for the design of distributed
     real-time systems in single framework."
}