@misc{indiciaecb406c6e04ed,
  title = {Formal Design and Verification of N-M Switching Control System},
  author = {Changil Choe and Hyejong Hong and Kukhwan Kim},
  year = {2012},
  url = {https://arxiv.org/abs/1212.2789},
  note = {Source identifier: 1212.2789}
}