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