@article{seL4_CACM_10,
  author =  {Gerwin Klein 
  and June Andronick
  and Kevin Elphinstone 
  and Gernot Heiser	 
  and David Cock
  and Philip Derrin
  and Dhammika Elkaduwe
  and Kai Engelhardt
  and Rafal Kolanski
  and Michael Norrish
  and Thomas Sewell
  and Harvey Tuch
  and Simon Winwood},
  title =        {{seL4}: Formal Verification of an {OS} Kernel},
  journal =      {Communications of the ACM (CACM)},
  publisher =    {ACM},
  year =         {2010},  
  month =        jun,
  pages =        {107--115},
  volume =       53, 
  number =       6
}