System-Level Modeling of a Safe Autonomous Closed-loop Epileptic Seizure Control Implant | IEEE Conference Publication | IEEE Xplore