Architecting Systems for Assured Autonomy. - Richard D. Avila; Jason B. Clark (ICAA, 2023)