A. B. Sandholm and M. I. Schwartzbach, “Distributed Safety Controllers for Web Services”, BRICS, vol. 4, no. 47, Jun. 1997.