Majed Ben-Kalefa Feng Lin Opaque superlanguages and sublanguages in discrete event systems. 199-204 2009 CDC http://dx.doi.org/10.1109/CDC.2009.5400704 conf/cdc/2009 db/conf/cdc/cdc2009.html#Ben-KalefaL09