Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems
ACM Digital Library