Symbolic techniques for performance analysis of timed systems based on average time separation of events | IEEE Conference Publication | IEEE Xplore