Junhua Ding M. N. H. Tabrizi Modeling and Model Checking of a Clinical Diagnostic Algorithm. 78-83 2008 ICNSC http://dx.doi.org/10.1109/ICNSC.2008.4525187 conf/icnsc/2008 db/conf/icnsc/icnsc2008.html#DingT08