I. B. Bourdonov , K. Alexandre , P. Alexandre , C. Spencer , W. Helene Formal Specification and Verification of SOS Kernel. Eigth NORTEL Design Forum, June 1996. , 06.1996