Synthesis of a Wireless Communication Analog Back-End Based on a Mismatch-Aware Symbolic Approach | Publicación