@misc{FuhrmannBvH15,
  author = {Insa Fuhrmann, and David Broman and Reinhard von Hanxleden},
  title = {Interactive Timing Analysis for Designing Reactive Systems},
  howpublished = {Presentation at the 22nd International Open Workshop on Synchronous Programming (SYNCHRON '15), Kiel, Germany},
  month = {December},
  year = {2015},
  urltalk = {synchron15-ima-talk.pdf},
}