An Eliminating Causal Ambiguity Approach to Reactive Systems | IEEE Conference Publication | IEEE Xplore