Kei Kawamorita and Ryouta Kasahara and Yuuki Mochizuki and Kenichiro Noguchi, Application of Formal Methods for Designing a Separation Kernel for Embedded Systems. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. August 2010, vol. 44(8). 1349 - 1357 [viewed 27 April 2024]. Available from: https://publications.waset.org/pdf/8630.