selected publications academic article A Rule Verification System for Smart Buildings. IEEE Transactions On Emerging Topics in Computing. 5.0:367.0-379.0. 2017