Modeling and verification tools - final version

This deliverable will produce the ENSURESEC component for modelling and verification of the implementation of various cyber and physical interfaces of the ecosystemAn accompanying descriptive report on the development or demonstrator will be submitted to the commissionagency