@STRING{tcad	= {IEEE Transactions on Computer Aided Design of Circuits and Systems} }
@Article{GKD:2008,
  author        = {Daniel Gro{\ss}e and Ulrich K\"uhne and Rolf Drechsler},
  title         = {Analyzing Functional Coverage in Bounded Model Checking},
  journal       = tcad,
  volume	= {27},
  number	= {7},
  month         = Jul,
  pages		= {1305--1314},
  year          = 2008
}