Certifiable Trust in Autonomous Systems: Making the Intractable Tangible