GrossM03'

@inproceedings{DBLP:conf/words/GrossM03,
  author    = {Hans-Gerhard Gro{\ss} and
               Nikolas Mayer},
  title     = {Search-based Execution-Time Verification in Object-Oriented
               and Component-Based Real-Time System Development},
  booktitle = {WORDS},
  year      = {2003},
  pages     = {113-},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1218073},
  crossref  = {DBLP:conf/words/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/words/2003,
  title     = {8th IEEE International Workshop on Object-Oriented Real-Time
               Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara,
               Mexico},
  booktitle = {WORDS},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1929-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}