D. Harnie, C. Scholliers, and W. De Meuter, “Ambient Contracts”, eceasst, vol. 28, Jun. 2010.