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 ...

Reusability: Generally, the software team uses the reference model to verify the specifications. Their reference models are in C/C++/MATLAB. So, if we use the same reference model in the verification, ...