@Article{Alkassar:JAR-42-2-389,
  author =       "Eyad Alkassar and Mark A. Hillebrand and Dirk C.
                 Leinenbach and Norbert W. Schirmer and Artem Starostin
                 and Alexandra Tsyban",
  title =        "Balancing the Load: {Leveraging} a Semantics Stack for
                 Systems Verification",
  journal =      "Journal of Automated Reasoning: Operating System
                 Verification",
  year =         "2009",
  ee =           "http://dx.doi.org/10.1007/s10817-009-9123-z",
  pages =        "389--454",
  publisher =    "Springer",
  volume =       "42",
  number =       "2--4",
}