Anfonwch hwn fel neges destun: Formal modeling and analysis of timed systems