Abstract interpretation of time and motion