Symbolic Simulation of Dataflow Synchronous Programs with Timers.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Browse the full FDL paper archive.