Online Verification through Model Checking of Medical Critical Intelligent Systems | IEEE Conference Publication | IEEE Xplore