Identifying functional modules in protein–protein interaction networks: an integrated exact approach | Synapse