Peter H. Welch Jan Bækgaard Pedersen Fred R. M. Barnes Carl G. Ritson Neil C. C. Brown Adding Formal Verification to occam-π. 379 2011 CPA http://dx.doi.org/10.3233/978-1-60750-774-1-379 conf/wotug/2011 db/conf/wotug/cpa2011.html#WelchPBRB11