Concealability Analysis for Current-state Opacity Enforcement via Editing Functions | Synapse