Formal Specification and Verification of Protection in Transit (PIT) Protocol Using UPPAAL. - Takwa Rhaimi; Hamed Aghayarzadeh; Rakesh Podder; Indrakshi Ray (PST, 2025)