@inproceedings{clarke07abstraction,
  author    = {Edmund M. Clarke and Flavio Lerda and Muralidhar Talupur},
  title     = {{An Abstraction Technique for Real-Time Verification}},
  booktitle = {Proc. of the GM R&D Workshop on Next Generation Design and Verification Methodologies for Distributed Embedded Control System},
  year      = {2007},
}