Qixiao Lin, Jian Mao, Ziwen Liu, Zhenkai Liang: TAPPecker: TAP Logic Inference and Violation Detection in Heterogeneous Smart Home Systems. RAID 2025: 248-265