Temporal Fuzzing I: Memory Models (2021) (reitzen.com)