Observational Models for Linearizability Checking on Weak Memory Models | IEEE Conference Publication | IEEE Xplore