Enabling Model-Based Design for Real-Time Spike Detection | IEEE Journals & Magazine | IEEE Xplore