Text this: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.