Alechina, Natasha, Bulling, Nils, Dastani, Mehdi, Logan, Brian, "Practical run-time norm enforcement with bounded lookahead", , 2015