Gomez, “Platform-based design from parallel C specifications,” Computer-Aided Design of Integrated Circuits and Systems ... Raulet, “Classification of Dataflow Actors with Satisfiability and Abstract ...