Text this: Enabling Model-Based Design for Real-Time Spike Detection