Using Assurance Cases to assure the fulfillment of non-functional requirements of AI-based systems - Lessons learned | Synapse