TP53 and cancer: In order to illustrate the usefulness and effectiveness of our formalization, we present the formal analysis of a molecular reaction representing the TP53 Phosphorylation [13], a molecular reaction of pathway leading to the death of cancer stem cells (CSC) and the analysis of tumor growth based on the CSC [20].