Kawamorita, K. , Kasahara, R. , Mochizuki, Y. , Noguchi, K. (2010), 'Application of Formal Methods for Designing a Separation Kernel for Embedded Systems', World Academy of Science, Engineering and Technology, Open Science Index 44, International Journal of Computer and Information Engineering, 4(8), 1349 - 1357.