Dennis, Louise A., Fisher, Michael, Winfield, Alan F.T., "Towards verifiably ethical robot behaviour", , 2015