Computational reflection in RT systems | IEEE Conference Publication | IEEE Xplore