TSOtool: a program for verifying memory systems using the memory consistency model | IEEE Conference Publication | IEEE Xplore