Formal Analysis Of Automated Model Abstractions Under Uncertainty: Applications In Systems Biology