1. 2015. Intel Xeon Processor 5500 Series Specification Update (Errata AAK139). https://www.intel.com/content/dam/www/public/us/en/documents/specification-updates/xeon-5500-specification-update.pdf
2. 2018. KVM: LAPIC: Tune lapic_timer_advance_ns automatically. https://patchwork.kernel.org/project/kvm/patch/1538115136-20092-1-git-send-email-wanpengli@tencent.com/
3. Xen and the art of virtualization
4. Fabrice Bellard. 2005. QEMU, a Fast and Portable Dynamic Translator. In Proceedings of the FREENIX Track: 2005 USENIX Annual Technical Conference (Anaheim, CA, USA). USENIX, 41--46.
5. Pierre-Victor Besson, Valérie Viet Triem Tong, Gilles Guette, Guillaume Piolle, and Erwann Abgrall. 2023. URSID: Automatically Refining a Single Attack Scenario into Multiple Cyber Range Architectures. In FPS 2023 - 16th International Symposium on Foundations & Practice of Security. Bordeaux, France, 1--16. https://inria.hal.science/hal-04317073