Real-time parametric analysis of discrete event system trajectories | IEEE Conference Publication | IEEE Xplore