Lei Luo Ming-Yuan Zhu Partitioning based operating system: a formal model. 23-35 2003 37 Operating Systems Review 3 http://doi.acm.org/10.1145/881783.881787 db/journals/sigops/sigops37.html#LuoZ03