"Modelling the ARMv8 architecture, operationally: concurrency and ISA."

Shaked Flur et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics