Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stephane Lavirotte: Safe Composition in Middleware for the Internet of Things. M4IoT@Middleware 2015: 7-12