Fig. 1

Workflow of the methodology. Biological processes and their known observations were extracted from literature. These processes were then used to construct the regulatory network with the logical parameters selected based on the biochemical reactions and known interactions. The regulatory network then underwent system verification where it was tested to check if it could exhibit known biological observations and behaviours, or not. If the verification failed, then troubleshooting was performed by checking the model for errors, changing the system definitions extracted from the literature, and/or checking if the known observations were in conflict with the system. If the system verification passed, then the dynamics generated by the model were analysed for biologically meaningful behaviours