Assessing High-Risk AI Systems under the EU AI Act: From Legal Requirements to Technical Verification. - Alessio Buscemi; Tom Deckenbrunnen; Fahria Kabir; Kateryna Mishchenko; Nishat I. Mowla (CoRR, 2025)