Formal verification confirms the role of p53 protein in cell fate decision mechanism. - Eman Abdelaziz Mahmoud; Mostafa Herajy; Ibrahim E. Ziedan; Hazem I. Shehata (Theory Biosci., 2023)