Time windows: an approach to automated abstraction of continuous-time models into discrete-event models | IEEE Conference Publication | IEEE Xplore