Hi,

A new post that describes the use of Formal Models and Co-simulation techniques on NECADA is published on “Open Thoughts Ready for a SMARTer World?”,  a bloc of the Open University of Catalonia.

You can access to it here.

Enjoy!