Modelling concurrent objects running on the TSO and ARMv8 memory models. - Winter, Kirsten; Smith, Graeme; Derrick, John (Science of Computer Programming, 2019)