The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. - William Simmonds; Tim Hawkins (TGC, 2005)

I Kaptured the System. - Colin O'Halloran; William Simmonds; Nick Tudor (The Application of Formal Methods, 2024)