Joiner, et al.. Efficient Runtime-enforcement Techniques for Policy Weaving. ACM Press, 2014, doi:10.1145/2635868.2635907.