FDA Urged to Rethink Approval of Medical Devices. [Online]. Available: http://www.latimes.com/health/la-na-medical-devicesapproval-20110730,0,6697377.story. G. Frehse, Phaver: Algorithmic verification of hybrid systems past hytech,[ in Proc. Hybrid Systems: Computation and Control (HSCC), 2005, pp. 258–273.