Formal Design and Verification of N-M Switching Control System - Changil Choe; Hyejong Hong; Kukhwan Kim (CoRR, 2012)