@misc{indiciaead38d48dcfc4,
  title = {Bernstein-based polynomial approach to study the stability of switched systems and formal verification using HOL Light},
  author = {Loïc Michel},
  year = {2014},
  url = {https://arxiv.org/abs/1410.3969},
  note = {Source identifier: 1410.3969}
}