Formal methods for the control of switching systems

Formal methods for the control of switching systems