Title: Formalization of clinical algorithms using automata theory and decision analysis
Subjects: Medical protocols, Decision making