LaTeX sources for research report on vmchecker optimisation (dated February 2012).