Modelling the ARM v8 Architecture, Operationally: Concurrency and ISA [pdf]cl.cam.ac.uk4 pointsingve10 years ago