@inproceedings{BaudartBourkePouzet-FDL-2017,
  author = {Guillaume Baudart and Timothy Bourke and Marc Pouzet},
  title = {Symbolic Simulation of Dataflow Synchronous Programs with Timers},
  booktitle = {Forum on specification & Design Languages (FDL)},
  year = 2017,
  month = sep,
  address = {Verona, Italy},
  note = {Best Paper Award}
}