From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations - Li, Tao; Tan, Feng; Wang, Qixin; Bu, Lei; Cao, Jian-Nong; Liu, Xue (IEEE transactions on parallel and distributed systems, 2014)
Keywords: Automata; Biological system modeling; Blood; Cyber-physical systems; Human body; Hybrid systems; Laser modes; Logic programming; Mathematical analysis; Mathematical models; medical; Model checking; On-line systems; Online; Proposals; Real time; Safety