GREAT: a model of progressive reasoning for real-time systems | IEEE Conference Publication | IEEE Xplore