Kawamorita, K. , Kasahara, R. , Mochizuki, Y. , Noguchi, K.. "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 (2010), 4(8), 1349 - 1357.