Formal modeling and analysis of the mal-associated biological regulatory network: insight into cerebral malaria