Comparison of schemes for encoding unobservability in translation to SAT | IEEE Conference Publication | IEEE Xplore