Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming | IEEE Conference Publication | IEEE Xplore