Legat, B., et al.. Certifying Unstability of Switched Systems Using Sum of Squares Programming. Society for Industrial & Applied Mathematics (SIAM), 2020, doi:10.1137/18m1173460.