Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things | IEEE Conference Publication | IEEE Xplore