Modeling and analysis of functionality in eHome systems: dynamic rule-based conflict detection | IEEE Conference Publication | IEEE Xplore