1. Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing (TDSC) 1(1), 11–33 (2004),
http://dx.doi.org/10.1109/TDSC.2004.2
2. Beckman, P., Brightwell, R., de Supinski, B.R., Gokhale, M., Hofmeyr, S., Krishnamoorthy, S., Lang, M., Maccabe, B., Shalf, J., Snir, M.: Exascale Operating Systems and Runtime Software Report. Tech. rep., U. S. Department of Energy (December 28, 2012)
3. Bellard, F.: QEMU, a fast and portable dynamic translator. In: USENIX 2005 Annual Technical Conference. Anaheim, CA, USA (April 2005)
4. Brightwell, R., Oldfield, R., Maccabe, A.B., Bernholdt, D.E.: Hobbes: Composition and virtualization as the foundations of an extreme-scale OS/R. In: Proceedings of the 3rd International Workshop on Runtime and Operating Systems for Supercomputers (ROSS 2013), pp. 2:1–2:8. ACM, New York,
http://doi.acm.org/10.1145/2491661.2481427
5. Engelmann, C., Scott, S.L., Ong, H., Vallée, G., Naughton, T.: Configurable Virtualized System Environments for High Performance Computing. In: Proceedings of the 1st Workshop on System-level Virtualization for High Performance Computing (HPCVirt 2007), Held in Conjunction with the ACM EuroSys 2007, Lisbon, Portugal (March 20, 2007),
http://www.csm.ornl.gov/srt/hpcvirt07