RTGEN-an algorithm for automatic generation of reservation tables from architectural descriptions | IEEE Journals & Magazine | IEEE Xplore