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

Their reference models are in C/C++/MATLAB. So, if we use the same reference model in the verification, it will be easy from the design point of view if there is any missing part on the specification ...