Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs. - Hossein Elahi; Marc Geilen; Twan Basten (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)