Mousavi, M. R., Cavalcanti, A., Fisher, M., Dennis, L., Hierons, R., Kaddouh, B., …Woodcock, J. (2023). Trustworthy Autonomous Systems Through Verifiability. Computer, 56(2), 40-47. https://doi.org/10.1109/mc.2022.3192206