Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories | IEEE Conference Publication | IEEE Xplore