Constraining model-based reasoning using contexts | IEEE Conference Publication | IEEE Xplore