AI Embedded Assurance for Cyber Systems - Wang, Cliff; Iyengar, S.S; Sun, Kun (Springer International Publishing, 2023)