Text this: Optimización del diseño formal de envolventes para el control del ruido de tránsito