@InProceedings{KPBT06,
  author    = {S. K\"unzli and F. Poletti and L. Benini and  L. Thiele},
  title     = {Combining Simulation and Formal Methods for System-Level Performance Analysis},
  booktitle = {Proc. Design, Automation and Test in Europe (DATE)},
  year      = 2006,
  location  = {Munich, Germany},
  month     = {March},
}