Opacity for switched linear systems: Notions and characterization | IEEE Conference Publication | IEEE Xplore