Itoand Oikawa. Improving Real-time Performance of a Virtual Machine Monitor Based System. Springer Berlin Heidelberg, 2008, doi:10.1007/978-3-540-87785-1_11.