Muhammad Rashid, Nazir Ahmad Zafar, Lal Khan, Mohammad Zubair Khan, Abdulrahman Alahmadi. "Formal modeling and verification of GRANDPA finalization safety in polkadot." Scientific Reports (2026). https://doi.org/10.1038/s41598-026-51047-3