Formal Analysis of Ratchet Protocols Based on Logic of Events. - Xiao, Meihua; Wan, Hongbin; Fan, Hongming; Shao, Huaibin; Li, Zehuan; Yang, Ke (Applied Sciences (2076-3417), 2025)