Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device.
Mostafa AyeshNamya MehanEthan DhanrajAbdul El-RahwanSimon Emil OpalkaTony FanAkil HamiltonAkshay Mathews JacobRahul Anthony SundarrajanBryan WidjajaClaudio MenghiPublished in: ARCH@SAFECOMP (2022)