Improving Coordinated SMT-Based System Synthesis by Utilizing Domain-Specific Heuristics | Publicación