@inproceedings{lerda08verification,
  author = {Flavio Lerda and James P. Kapinski and Edmund M. Clarke and Bruce H. Krogh},
  title = {{Verification of Supervisory Control Software Using State Proximity and Merging}},
  booktitle = {{Proc. of the 11th International Workshop on Hybrid Systems: Computation and Control (HSCC)}},
  pages = {344--357},
  year = {2008},
}