Denis Gagné André Trudel A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra. 32-45 2009 BPSC conf/bpsc/2009 db/conf/bpsc/bpsc2009.html#GagneT09