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>

%T SystemCSP \- Visual Notation
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Bojan Orlic,  Jan F. Broenink
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Jon Kerridge,  Frederick R. M. Barnes
%B Communicating Process Architectures 2006
%X 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.