William Simmonds Tim Hawkins The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. 230-247 2005 conf/tgc/2005 TGC http://dx.doi.org/10.1007/11580850_13 db/conf/tgc/tgc2005.html#SimmondsH05