The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications) | IEEE Conference Publication | IEEE Xplore