[IEEE Comput. Soc. Press [1990]. AI, Simulation and Planning in High Autonomy Systems - Tucson, AZ, USA (26-27 March 1990)] Proceedings [1990]. AI, Simulation and Planning in High Autonomy Systems - Time windows: an approach to automated abstraction of continuous-time models into discrete-event models