Pieter Buzing Cees Witteveen Temporal Plan and Resource Management. 43-50 2005 conf/bnaic/2005 BNAIC db/conf/bnaic/bnaic2005.html#BuzingW05