Verification of Approximate Opacity via Barrier Certificates | IEEE Conference Publication | IEEE Xplore