@techreport{vHanxledenLSV97,
  author = {Reinhard von Hanxleden and Luciano Lavagno and Alberto L. Sangiovanni-Vincentelli},
  title = {Co-Design of a Fault-Tolerant Communication Protocol--A Case Study},
  institution = {EECS Department, University of California, Berkeley},
  year = {1997},
  url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1997/3187.html},
  number = {UCB/ERL M97/13},
}