A temporal logic characterisation of observational determinism | IEEE Conference Publication | IEEE Xplore