Analysis of a Scheduler for a CAD Framework. - David S. Keyes; Laura K. Dillon; Moon-Jung Chung (ICSE, 1999)