%T Event\-Based Design of Concurrent Programs with Java Implementation
%A  H. Rischel,  H. Sun
%E  Alan G. Chalmers,  Majid Mirmehdi,  Henk Muller
%B Communicating Process Architectures 2001
%X A systematic design approach to safety\-critical systems is
   introduced by means of the Production Cell case study. The
   design is documented using CSP\-style processes, which allow
   verifications using formal techniques, as well as
   programming in Java using the JCSP library.