@inproceedings{DBLP:conf/wotug/McEwanS07,
  author    = {Alistair A. McEwan and
               Steve Schneider},
  title     = {Modeling and Analysis of the AMBA Bus Using CSP and B},
  booktitle = {CPA},
  year      = {2007},
  pages     = {379-398},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5984},
  crossref  = {DBLP:conf/wotug/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wotug/2007,
  editor    = {Alistair A. McEwan and
               Steve A. Schneider and
               Wilson Ifill and
               Peter H. Welch},
  title     = {The 30th Communicating Process Architectures Conference,
               CPA 2007, organised under the auspices of WoTUG and the
               University of Surrey, Guildford, Surrey, UK, 8-11 July 2007},
  booktitle = {CPA},
  publisher = {IOS Press},
  series    = {Concurrent Systems Engineering Series},
  volume    = {65},
  year      = {2007},
  isbn      = {978-1-58603-767-3},
  ee        = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=5962},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}