Inferring Proteolytic Processes from Mass Spectrometry Time Series Data Using Degradation Graphs