Trustworthy Autonomous Systems Through VerifiabilityMohammad Reza Mousavi, Jim Woodcock, Michael Fisher et al.|Computer|2023Cited by 8