A model checking framework for linear time invariant switching systems using structural systems analysis | IEEE Conference Publication | IEEE Xplore