@article{BoldtTvH07,
  author = {Marian Boldt and Claus Traulsen and Reinhard von Hanxleden},
  title = {Worst Case Reaction Time Analysis of Concurrent Reactive Programs},
  pages = {65--79},
  year = {2008},
  volume = {203},
  number = {4},
  journal = {Electronic Notes in Theoretical Computer Science},
  month = {June},
  doi = {10.1016/j.entcs.2008.05.011},
  pdf = {sla++p07.pdf},
  note = {Proceedings of the International Workshop on Model-Driven High-Level Programming of Embedded Systems (SLA++P '07), March 2007, Braga, Portugal},
}