Switching control of dynamical systems from metric temporal logic specifications | Publicación