@InProceedings{Nguyen:FDL2009-,
  author =       "Minh Duc Nguyen and Max Thalmaier and Markus Wedler and Dominik Stoffel and Wolfgang Kunz",
  title =        "A Re-Use Methodology for Formal {SoC} Protocol Compliance",
  booktitle =    "Forum on Specification \& Design Languages (FDL 2009)",
  year =         "2009",
  address =      "Sophia Antipolis, France",
  month =        sep,
  note =         "To appear.",
}