Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications | Publicación