Model checking methods for mode switching systems - Einarsson, Valur (Linköping studies in science and technology. Dissertations,, 2000)