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!
New license