Katharina Bieker, Hugo T. M. Kussaba, Philipp Scholl, Jaesug Jung, Abdalla Swikir, Sami Haddadin, Gitta Kutyniok: Compositional Construction of Barrier Functions for Switched Impulsive Systems. CDC 2024: 7085-7091