Modeling and formal verification of biological regulatory networks: An integrative approach | IEEE Conference Publication | IEEE Xplore