Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias | Read Paper on Bytez