Xia Yang, Jian Lei, Guang-ze Xiong: Inter-partition Information Flow Control for High-Assurance Embedded Systems. CSIE (2) 2009: 456-460