On the Use of Programmed Automata for a Verification of ECG Diagnoses. - Mariusz Flasinski; Piotr Flasinski; Ewa Konduracka (CORES, 2013)