LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model | IEEE Conference Publication | IEEE Xplore