Axiomatisation and decidability of multi-dimensional duration calculus | IEEE Conference Publication | IEEE Xplore