@inproceedings{8345,
  author       = {{Küster, Jochen and Stroop, Joachim}},
  booktitle    = {{Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}},
  publisher    = {{University of York}},
  title        = {{{Towards Consistency of Dynamic Models and Analysis of Timing Constraints}}},
  year         = {{2000}},
}