A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C. - Dan Slipper; Alistair A. McEwan (CPA, 2011)

Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab. - Dan Slipper; Wilson Ifill; Gordon Hunter; Roger Green; Richard Johnson; Alistair A. McEwan (BMMDS/EMMSAD, 2012)