Towards separating nondeterministic time from deterministic time | IEEE Conference Publication | IEEE Xplore