Seol mar théacs é seo: Formal modeling and analysis of timed systems