The Certimark benchmark: architecture and future perspectives | IEEE Conference Publication | IEEE Xplore