Automatic Verification of Real-Time Designs

@inproceedings{Braberman:ICSE99,
  author    = {V{\'{\i}}ctor A. Braberman},
  title     = {Automatic Verification of {Real-Time} Designs},
  booktitle = {ICSE},
  pages     = {716--717},
  publisher = {{ACM}},
  year      = {1999},
}