Yi-Chin Wu, Gil Lederman, Stéphane Lafortune: Enhancing opacity of stochastic discrete event systems using insertion functions. ACC 2016: 2053-2060