Modeling and verification tools - initial version

This deliverable will produce the initial version of ENSURESEC component for modelling and verification of the implementation of various cyber and physical interfaces of the ecosystem. An accompanying descriptive report on the development or demonstrator will be submitted to the commission/agency.