@InProceedings{Alkassar:TACAS08-109,
  author =       "Eyad Alkassar and Norbert Schirmer and Artem Starostin",
  title =        "Formal Pervasive Verification of a Paging Mechanism",
  volume =       "4963",
  year =         "2008",
  pages =        "109--123",
  series =       "Lecture Notes in Computer Science",
  booktitle =    "14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS08)",
  publisher =    "Springer",
  editor =       "C. R. Ramakrishnan and Jakob Rehof",
  ee =           "http://dx.doi.org/10.1007/978-3-540-78800-3_9",
}