Rigorous Envelope Approximation for Interface Wave Packets in Maxwell's Equations with Two Dimensional Localization. - Tomás Dohnal; Roland Schnaubelt; Daniel P. Tietz (SIAM J. Math. Anal., 2023)