In the Netherlands, OSA diagnosis currently involves long waiting times, and both diagnosis and treatment are costly. This article presents a timed automaton model (UPPAAL tool) to analyze OSA diagnosis and treatment approaches. This model is used to evaluate the current traditional Dutch approach, as well as multiple alternative approaches to OSA diagnosis and treatment. The analysis shows that an alternative approach can reduce costs and waiting lists while maintaining diagnostic accuracy. In this manuscript, the best alternative approach is a combination of oxygen desaturation index (ODI) measurement using nocturnal pulse oximetry and a patient diagnosis questionnaire.
—————————————-
Link: https://pubmed.ncbi.nlm.nih.go…
EN 
ES