Thomas Müller Employing finite automata for resource scheduling. 12-20 1993 conf/micro/1993 MICRO http://doi.acm.org/10.1145/255235.255242 db/conf/micro/micro1993.html#Muller93