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 Supporting Timed CSP Operators in CSP++
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  W. B. Gardner,  Yuriy Solovyov
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E Peter H. Welch,  Frederick R. M. Barnes,  Kevin Chalmers,  Jan Bækgaard Pedersen,  Adam T. Sampson
%B Communicating Process Architectures 2012
%X CSP++ is an open\-source code synthesis tool consisting of a
   translator
for a subset of CSPm and a C++ run\-time
   framework. Version 5.0 now
supports Timed CSP
   operators\-\-timed interrupt, timed timeout, and
   timed
prefix\-\-as well as untimed variants of interrupt and
   timeout, with only
1% additional execution and memory
   overhead, though using interrupts is
more costly. We
   describe the implementation and performance of the
   new
operators, illustrating their use with a robot\-vacuum
   cleaner case
study. The tool thus becomes more useful for
   specifying the behaviour of
soft real\-time systems, and
   generating a timing\-enabled executable
program from its
   formal model.