@techreport{FuhrmannBSvH14a,
  author = {Fuhrmann, Insa and Broman, David and Smyth, Steven and von Hanxleden, Reinhard},
  title = {Towards Interactive Timing Analysis for Designing Reactive Systems},
  institution = {EECS Department, University of California, Berkeley},
  year = {2014},
  month = {April},
  url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.html},
  number = {UCB/EECS-2014-26},
}