Quantitative evaluation of discrete event systems: Models, performances and techniques | IEEE Conference Publication | IEEE Xplore