Trajectory-observers of timed stochastic discrete event systems: Applications to privacy analysis | IEEE Conference Publication | IEEE Xplore