Anders Sandholm Michael I. Schwartzbach Distributed Safety Controllers for Web Services. 270-284 http://link.springer.de/link/service/series/0558/bibs/1382/13820270.htm 1998 FASE db/conf/fase/fase98.html#SandholmS98