AI Embedded Assurance for Cyber Systems - Cliff Wang; Iyengar, S. S.; Sun, Kun (Springer Nature, 2024)