@inproceedings{Rodriguez-al:CASSIS04,
     AUTHOR = {Edwin Rodr\'iguez and Matthew~B.~Dwyer and John Hatcliff and Robby},
     TITLE = {A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking},
  booktitle = {Proceedings of the International Workshop on Construction 
  and Analysis of Safe, Secure and Interoperable Smart Devices},
  year      = {2004},
  note = "(to appear)"
}