1. Embedded Systems Handbook;Zurawski,2005
2. Hierarchical finite state machines with multiple concurrency models;Girault;Comput.-Aided Des. Integr. CircuitsSyst. IEEE Trans.,1999
3. Modeling Embedded Systems and SoCs: Concurrency and Time in Models of Computation;Jantsch,2004
4. Decidable dataflow models for signal processing: synchronous dataflow and its extensions;Ha,2013
5. Dynamic dataflow graphs;Bhattacharyya,2013