@inproceedings{kannas02,
author = "Kanna Shimizu and David L. Dill",
title = "Deriving a Simulation Input Generator and a Coverage Metric From a
Formal Specification",
booktitle= "Proceedings of Design Automation Conference",
Note="New Orleans, LA",
month="June",
year=2002}