@inproceedings{lerda08verification,
  author = {Flavio Lerda and James P. Kapinski and Hitashyam Maka and Edmund M. Clarke and Bruce H. Krogh},
  title = {{Model Checking In-The-Loop}},
  booktitle = {{Proc. of the 27th American Control Conference (ACC)}}
  year = {2008},
}