Modeling and Model Checking of a Clinical Diagnostic Algorithm | IEEE Conference Publication | IEEE Xplore