@article{dsilva_IET-CDT-05,
  title = "Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures",
  author = "Vijay D'Silva and S. Ramesh and Arcot Sowmya",
  year = "2005",
  editor = "Georges Gielen",
  journal = "IEE Proceedings - Computers and Digital Techniques",
  month = "January",
  number = "1",
  pages = "20--27",
  url = "http://scitation.aip.org/getabs/servlet/GetabsServlet?prog=normal&id=ICDTEA000152000001000020000001&idtype=cvips&gifs=Yes",
  volume = "152",
  doi = "10.1049/ip-cdt:20045097",
}