Alternating time versus deterministic time: a separation | IEEE Conference Publication | IEEE Xplore