Computing the average inter-sample time of event-triggered control using quantitative automata