Testing Real-Time Constraints in a Process Algebraic Setting

@inproceedings{Clarke-Lee:ICSE95,
  author    = {Duncan Clarke and
               Insup Lee},
  title     = {Testing {Real-Time} Constraints in a Process Algebraic Setting},
  booktitle = {ICSE},
  pages     = {51--60},
  publisher = {{ACM}},
  year      = {1995},
}