@InProceedings{NicoleEllis03,
  title =        "occam for reliable embedded systems: lightweight runtime and model checking",
  author=        "Nicole,  Denis A. and Ellis,  Sam and Hancock,  Simon",
  editor=        "Broenink,  Jan F. and Hilderink,  Gerald H.",
  pages =        "167--172",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2003",
  isbn=          "1 58603 381 6",
  year=          "2003",
  month=         "sep",
  abstract=      "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."
}