Formal Modeling and Verification of Block Production BABE Protocol in Polkadot. - Muhammad Rashid; Nazir Ahmad Zafar; Waheed Shahzad; Lal Khan; Mohammad Zubair Khan; Ibrahim Aljubayri (IEEE Access, 2026)