Polynomial-time verification of the observer property in abstractions | IEEE Conference Publication | IEEE Xplore