Timed Automata in UPPAAL

Face ao quadro clínico descrito, de que desta- camos o aumento do volume do crânio, o encurvamento dos membros inferiores, a surdez progressiva, a elevação da fosfatase alcalina e