@inproceedings{dsilva_DATE04,
  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 = "2004",
  booktitle = "Proceedings of the Conference on Design Automation and Test in Europe (DATE)",
  editor = "Georges Gielen",
  isbn = "0-7695-2085-5-1",
  location = "Paris, France",
  month = "February",
  pages = "10390--10395",
  publisher = "ACM/IEEE",
  url = "http://portal.acm.org/citation.cfm?id=969073",
  volume = "1",
}