Muhammad Rashid, Imran Rasool, Hamra Afzaal, Nazir Ahmad Zafar. "Formal verification of safety properties of epoch processing in Beacon Chain." Scientific Reports, 2025. doi:10.1038/s41598-025-27396-w