Arguing machine learning assurance for certification. - Tihomir Varchev; Stephan Staudacher; Zamira Daw; Michael Holloway (Software Engineering Companion, 2025)