Symbolic simulation of dataflow synchronous programs with timersGuillaume BaudartTimothy Bourkeet al.2017FDL 2017