Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions | IEEE Conference Publication | IEEE Xplore