Zihan Tang, Sini Chen, Lili Xiao, Huibiao Zhu: PAT2PRISM: Bridging Qualitative Correctness and Quantitative Resilience for IoT Protocols. TASE 2026: 305-323