@inproceedings{conf/rtss/ClementsHLR93,
  added-at = {2002-01-03T00:00:00.000+0100},
  author = {Clements, Paul C. and Heitmeyer, Constance L. and Labaw, Bruce G. and Rose, A. T.},
  biburl = {http://www.bibsonomy.org/bibtex/2be238f4bf382433c1ee5eab08b5ec4b0/dblp},
  booktitle = {IEEE Real-Time Systems Symposium},
  date = {2002-01-03},
  description = {dblp},
  interhash = {ebca35d135b0cb925a3d15d4ad63fd55},
  intrahash = {be238f4bf382433c1ee5eab08b5ec4b0},
  keywords = {dblp},
  pages = {12-22},
  timestamp = {2002-01-03T00:00:00.000+0100},
  title = {MT: A Toolset for Specifying and Analyzing Real-Time Systems.},
  url = {http://dblp.uni-trier.de/db/conf/rtss/rtss1993.html#ClementsHLR93},
  year = 1993
}