Parameterized model-checking of timed systems with conjunctive guards