Specification-guided controller synthesis for linear systems and safe linear-time temporal logic | Publicación