Formal Development of Policing Functions for Intelligent Systems. - Chris Bogdiukiewicz; Michael J. Butler; Thai Son Hoang; Martin Paxton; James Snook; Xanthippe Waldron; Toby Wilkinson (ISSRE, 2017)