@ARTICLE { AUTHOR = "Christophe Scholliers and Dries Harnie and {\'E}ric Tanter and Wolfgang De Meuter and Theo D'Hondt", TITLE ="Ambient Contracts: Verifying and Enforcing Ambient Object Compositions a la Carte", JOURNAL = "Personal and Ubiquitous Computing", VOLUME = "15", NUMBER = "4", PAGES = "341-351", MONTH = "Apr", YEAR = "2011", PUBLISHER = "Springer-Verlag", ADDRESS = "Berlin/Heidelberg, Germany", ISSN = "1617-4909" }