A value-oriented specification for weak sequencing validation | IEEE Conference Publication | IEEE Xplore