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 29 November 2021]. Available from: https://publications.waset.org/pdf/8630.