Madhura Nirkhe Sarit Kraus Michael J. Miller Donald Perlis How to (Plan to) Meet a Deadline between Now and Then. 109-156 1997 7 J. Log. Comput. 1 db/journals/logcom/logcom7.html#NirkheKMP97