Bernstein-based polynomial approach to study the stability of switched systems and formal verification using HOL Light.