Text this: A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems