Compositional Design, Implementation, and Verification of Swarms (Technical Report). - Florian Furbach; Lucas Clorius; Roland Kuhn 002; Hernán C. Melgratti; Alceste Scalas; Emilio Tuosto (CoRR, 2026)