On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic | IEEE Conference Publication | IEEE Xplore