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. doi:10.1038/s41598-026-51047-3