Feng Lin: Opacity of discrete event systems and its applications. Autom. 47(3): 496-503 (2011)