Formal Synthesis of Stabilizing Controllers for Switched Systems | Publicación