Intermediate states as a source of non-deterministic behavior in triggers | IEEE Conference Publication | IEEE Xplore