Verification of approximate infinite-step opacity using barrier certificates | IEEE Conference Publication | IEEE Xplore