Formal Verification of a Mechanical Ventilator using UPPAAL. - Jaime Cuartas; David Cortés; Joan S. Betancourt; Jesús Aranda; José I. García; Andrés M. Valencia; James Ortiz 001 (FTSCS, 2023)