David S. Keyes, Laura K. Dillon, Moon-Jung Chung: Analysis of a Scheduler for a CAD Framework. ICSE 1999: 152-161