ICD A Simulatoin of a real device called an implantable cardioverter-defibrillator(ICD) The main loop is Prerequisites Gnate AdaCore Running gnatemake closedloop.adb ./closeloop