A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines: Application to the Language Scade - Colaço, Jean-Louis; Mendler, Michael; Pauget, Baptiste; Pouzet, Marc; Bourke, Timothy (2023)