@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},
}