Steady Abstractions for CPS Controller Synthesis | Publicación