Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications | IEEE Conference Publication | IEEE Xplore