@article{dsilva_TODAES09,
  title = "Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis",
  author = "Karin Avnit and Vijay D'Silva and Arcot Sowmya and S. Ramesh and Sri Parameswaran",
  year = "2009",
  address = "New York, NY, USA",
  isbn = "1084-4309",
  journal = "Transaction on Design Automation of Electronic Systems (TODAES)",
  month = "March",
  number = "2",
  pages = "1--41",
  publisher = "ACM",
  url = "http://portal.acm.org/citation.cfm?doid=1497561.1497562#",
  volume = "14",
  doi = "10.1145/1497561.1497562",
}