Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection. - Ibrahim Armac; Michael Kirchhof; Liviana Manolescu (ECBS, 2006)