Tax-and-spend: Democratic scheduling for real-time garbage collectionJoshua AuerbachDavid F. Baconet al.2008EMSOFT 2008