PSCoP: a planning scheduler coprocessor - Martins, E. (2000)