@article{P113.030, author={Penneman, Niels and Kudinskas, Danielius and Rawsthorne, Alasdair and De Sutter, Bjorn and De Bosschere, Koen}, title={Formal virtualization requirements for the ARM architecture}, journal={JOURNAL OF SYSTEMS ARCHITECTURE}, year={2013}, pages={12}, }