@inproceedings{Greenstreet00a,
  author	= "Mark R.\ Greenstreet",
  title		= "Pragmatic Verification for Hybrid and Real-Time Designs",
  booktitle	= "Proceedings of 2000 American Control Conference",
  month		= Jun,
  year		= 2000
}