Automated Assurance: programme content