Gerwin Klein, Thomas Sewell, Simon Winwood. Refinement in the Formal Verification of the seL4 Microkernel. In David S. Hardin, editor, Design and Verification of Microprocessor Systems for High-Assurance Applications. pages 323-339, Springer, 2010. [doi]
Abstract is missing.