Thomas Wagner Alan Garvey Victor R. Lesser Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling. 294-301 1997 AAAI/IAAI db/conf/aaai/aaai97.html#WagnerGL97