Estimating the costs and analysing the precision of several diagnostic and treatment approaches for obstructive sleep apnea patients in the Netherlands, using timed automata modelling. - Miranda J. M. Wetselaar-Glas; Nander E. F. Voortman; Piet-Heijn van Mechelen; Peter Wetselaar; Rom Langerak (Comput. Biol. Medicine, 2025)