@inproceedings{conf/tacas/SchlorJW98,
  added-at = {2011-06-16T00:00:00.000+0200},
  author = {Schlör, Rainer and Josko, Bernhard and Werth, Dieter},
  biburl = {http://www.bibsonomy.org/bibtex/206a2da772ed812719b47d3afceb0c80c/dblp},
  booktitle = {Services and Visualization: Towards User-Friendly Design},
  crossref = {conf/tacas/1998acos},
  editor = {Margaria, Tiziana and Steffen, Bernhard and Rückert, Roland and Posegga, Joachim},
  ee = {http://dx.doi.org/10.1007/BFb0053507},
  interhash = {6ddca397060af6d92a5722f0a4af7704},
  intrahash = {06a2da772ed812719b47d3afceb0c80c},
  isbn = {3-540-64367-2},
  keywords = {dblp},
  pages = {208-221},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Using a Visual Formalism for Design Verification in Industrial Environments.},
  url = {http://dblp.uni-trier.de/db/conf/tacas/acos1998.html#SchlorJW98},
  volume = 1385,
  year = 1998
}

@article{journals/jsa/HelbigSDDK93,
  added-at = {2009-09-22T00:00:00.000+0200},
  author = {Helbig, J. and Schlör, Rainer and Damm, Werner and Döhmen, Gert and Kelb, Peter},
  biburl = {http://www.bibsonomy.org/bibtex/22b046081d20b806fb43280d7f4c75cf2/dblp},
  date = {2009-09-22},
  description = {dblp},
  ee = {http://dx.doi.org/10.1016/0165-6074(93)90197-S},
  interhash = {30b10704e1b66e16cdf892b20dcddff3},
  intrahash = {2b046081d20b806fb43280d7f4c75cf2},
  journal = {Microprocessing and Microprogramming},
  keywords = {dblp},
  number = {1-5},
  pages = {571-580},
  title = {VHDL/S - integrating statecharts, timing diagrams, and VHDL.},
  url = {http://dblp.uni-trier.de/db/journals/jsa/jsa38.html#HelbigSDDK93},
  volume = 38,
  year = 1993
}

@inproceedings{conf/isola/StaschulatBERSB06,
  added-at = {2009-07-03T00:00:00.000+0200},
  author = {Staschulat, Jan and Braam, Jörn-Christian and Ernst, Rolf and Rambow, Thomas and Schlör, Rainer and Busch, Rainer},
  biburl = {http://www.bibsonomy.org/bibtex/2ff5da3ea25dcfd21efd68856a59b8926/dblp},
  booktitle = {ISoLA},
  crossref = {conf/isola/2006},
  date = {2009-07-03},
  description = {dblp},
  ee = {http://dx.doi.org/10.1109/ISoLA.2006.64},
  interhash = {f09b5637c216ae75bc130582d4d421d9},
  intrahash = {ff5da3ea25dcfd21efd68856a59b8926},
  keywords = {dblp},
  pages = {204-211},
  publisher = {IEEE},
  title = {Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.},
  url = {http://dblp.uni-trier.de/db/conf/isola/isola2006.html#StaschulatBERSB06},
  year = 2006
}

@inproceedings{conf/eurodac/KorfS94,
  added-at = {2009-03-02T00:00:00.000+0100},
  author = {Korf, Franz and Schlör, Rainer},
  biburl = {http://www.bibsonomy.org/bibtex/2424dd31c92e50eafc29e9525d2f44f59/dblp},
  booktitle = {EDAC-ETC-EUROASIC},
  crossref = {conf/eurodac/1994edac},
  date = {2009-03-02},
  description = {dblp},
  editor = {Werner, Robert},
  interhash = {0b5aba486bd3b2f3ab8ddd9583651941},
  intrahash = {424dd31c92e50eafc29e9525d2f44f59},
  isbn = {0-8186-5410-4},
  keywords = {dblp},
  pages = {385-394},
  publisher = {IEEE Computer Society},
  title = {Interface Controller Synthesis from Requirement Specifications.},
  url = {http://dblp.uni-trier.de/db/conf/eurodac/eurodac1994.html#KorfS94},
  year = 1994
}

@inproceedings{conf/eurodac/SchlorK95,
  added-at = {2008-04-09T00:00:00.000+0200},
  author = {Schlör, Rainer and Korf, Franz},
  biburl = {http://www.bibsonomy.org/bibtex/2bccff227d626bad24cc91d51b01a8710/dblp},
  booktitle = {EURO-DAC},
  crossref = {conf/eurodac/1995},
  date = {2008-04-09},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/224270.224386},
  interhash = {1d0ab77efe63e830d5fb5be830f17727},
  intrahash = {bccff227d626bad24cc91d51b01a8710},
  isbn = {0-8186-7156-4},
  keywords = {dblp},
  pages = {548-553},
  publisher = {IEEE Computer Society},
  title = {Verification of a production cell controller using symbolic timing diagrams.},
  url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1995.html#SchlorK95},
  year = 1995
}

@inproceedings{conf/korso/DammHKS95,
  added-at = {2002-02-05T00:00:00.000+0100},
  author = {Damm, Werner and Hungar, Hardi and Kelb, Peter and Schlör, Rainer},
  biburl = {http://www.bibsonomy.org/bibtex/2227fad7a16654214a17455d326bb03b2/dblp},
  booktitle = {Formal Development of Reactive Systems},
  crossref = {conf/korso/1995fd},
  date = {2002-02-05},
  description = {dblp},
  editor = {Lewerentz, Claus and Lindner, Thomas},
  interhash = {f3c6dc9aa77ab7422f3f42eebcc85177},
  intrahash = {227fad7a16654214a17455d326bb03b2},
  isbn = {3-540-58867-1},
  keywords = {dblp},
  pages = {131-149},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Statecharts.},
  url = {http://dblp.uni-trier.de/db/conf/korso/korso1995fd.html#DammHKS95},
  volume = 891,
  year = 1995
}

@inproceedings{conf/korso/KorfS95,
  added-at = {2002-02-05T00:00:00.000+0100},
  author = {Korf, Franz and Schlör, Rainer},
  biburl = {http://www.bibsonomy.org/bibtex/26261c333868c37a503d91d54b74b1031/dblp},
  booktitle = {Formal Development of Reactive Systems},
  crossref = {conf/korso/1995fd},
  date = {2002-02-05},
  description = {dblp},
  editor = {Lewerentz, Claus and Lindner, Thomas},
  interhash = {f6be7f7b1f4d82a413df16de31ae3f0e},
  intrahash = {6261c333868c37a503d91d54b74b1031},
  isbn = {3-540-58867-1},
  keywords = {dblp},
  pages = {311-331},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Symbolic Timing Diagrams.},
  url = {http://dblp.uni-trier.de/db/conf/korso/korso1995fd.html#KorfS95},
  volume = 891,
  year = 1995
}