TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming. - Liangyu Chen 001; Chen Wang; Cheng Chen 028; Caidie Huang; Xiaohong Chen 007; Min Zhang 002 (IEEE Internet Things J., 2024)