AUTHOR = {Alkassar, E. and Hillebrand, M. A. and Leinenbach, D. C. and Schirmer, N. W. and Starostin, A. and Tsyban, A.},
TITLE = {Balancing the Load: Leveraging Semantics Stack for Systems Verification},
VOLUME = {42, Numbers 2-4},
YEAR = {2009},
PAGES = {389-454},
BOOKTITLE = {Journal of Automated Reasoning: Special Issue on Operating Systems Verification},
PUBLISHER = {Springer},
EDITOR = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},
EE = {http://dx.doi.org/10.1007/s10817-009-9123-z},