Enviar aquest missatge de text: Formal modeling and analysis of timed systems