Alistair A. McEwan Steve Schneider Modelling and analysis of the AMBA bus using CSP and B. 949-964 2010 22 Concurrency and Computation: Practice and Experience 8 http://dx.doi.org/10.1002/cpe.1432 db/journals/concurrency/concurrency22.html#McEwanS10