@inproceedings{MPZBD:06,
  author = {Gabor Madl and Sudeep Pasricha and Qiang Zhu and Luis Angel D. Bathen and Nikil Dutt},
  title = {{Formal Performance Evaluation of AMBA-based System-on-Chip Designs}},
  booktitle = {{Proceedings of EMSOFT}},
  year = {2006},
  month = {October},
  pages = {311--320}
}