Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringert, Jan Oliver, Tyukin, Ivan, Woodcock, Jim, "Trustworthy Autonomous Systems Through Verifiability", Computer, 2023