AI-CRAS: AI-driven Cloud Service Requirement Analysis and Specification. - Emiliano Casalicchio; Alberto Cotumaccio (IC2E, 2024)