Sample path properties of timed discrete event systems | IEEE Journals & Magazine | IEEE Xplore