Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz: Theory of Multi Core Hypervisor Verification. SOFSEM 2013: 1-27