%T occam for reliable embedded systems: lightweight runtime and model checking
%A  Denis A. Nicole,  Sam Ellis,  Simon Hancock
%E  Jan F. Broenink,  Gerald H. Hilderink
%B Communicating Process Architectures 2003
%X We describe some more recent developments of the SPoC
   system. We describe a new module in the occam compiler which
   performs substantial simplifications of the run\-time
   demands made by the compiled code. This has been used
   successfully both to target a simple PIC microcontroller and
   to generate input for the SMV model checker.