An abductive framework for the interpretation of time series, with special application to ECG data. - View it on GitHub