@Article{DG:2005,
  author = {Rolf Drechsler and Daniel Gro{\ss}e},
  title  = {System Level Validation Using Formal Techniques},
  journal= {IEE Proceedings Computer \& Digital Techniques, Special Issue on Embedded Microelectronic Systems: Status and Trends},
  pages  = {393--406},
  year   = 2005,
  volume = 152,
  number = 3,
  month  = May
}