Verifiable Autonomous Systems by Michael Fisher, Louise A. Dennis | Lex | Lex