Probability-based protein identification by searching sequence databases using mass spectrometry data | Synapse