Modeling and Analysis of the AMBA Bus Using CSP and B.

Alistair A. McEwan Steve Schneider Modeling and Analysis of the AMBA Bus Using CSP and B. 379-398 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#McEwanS07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5984