@phdthesis{Kue06,
  author        = "Simon K\"unzli",
  title         = "Efficient Design Space Exploration for Embedded 
Systems",
  school        = "ETH Zurich",
  year          = "2006",
  type          = "",
  address       = "",
  month         = "April",
  note          = ""  }