An Empirical Approach to Modeling User-System Interaction Conflicts in Smart Homes | IEEE Journals & Magazine | IEEE Xplore