Formal modeling and analysis of ER-α associated Biological Regulatory Network in breast cancer. This evidence concerns the gene ESR1 and breast carcinoma.