A novel programming language to reduce energy consumption by arrhythmis monitoring algorithms in implantable cardioverter-defibrillators
H. Abbas, K. Mamouras, A. Rodionova, R. Alur, J. Liang, S. Dixit, and R. Mangharam, In Heart Rhythm Sessions, 2018.