@inproceedings{Deutschmann2004trace,
  author = "Rocco Deutschmann and Matthias Fruth and Horst Reichel and Hans-Christian Reuss",
  booktitle = "Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)",
  title = "Trace Checking with Real-Time Specifications",
  year = "2004",
}