@inproceedings{vonHanxledenBG17,
  author = {Reinhard von Hanxleden and Timothy Bourke and Alain Girault},
  title = {Real-Time Ticks for Synchronous Programming},
  booktitle = {Proc.\ Forum on Specification and Design Languages (FDL '17)},
  year = {2017},
  month = {September},
  address = {Verona, Italy},
  pdf = {fdl17.pdf},
  urltalk = {fdl17-talk.pdf},
}