@InProceedings{Alkassar:VSTTE08-209,
  author =       "Eyad Alkassar and Mark A. Hillebrand and Dirk
                 Leinenbach and Norbert W. Schirmer and Artem
                 Starostin",
  title =        "The {Verisoft} Approach to Systems Verification",
  pages =        "209--224",
  ee =           "http://dx.doi.org/10.1007/978-3-540-87873-5_18",
  booktitle =    "Verified Software: Theories, Tools, Experiments Second
                 International Conference, VSTTE 2008, Toronto, Canada,
                 October 6--9, 2008. Proceedings",
  address =      "Toronto, Canada",
  year =         "2008",
  editor =       "Natarajan Shankar and Jim Woodcock",
  month =        oct,
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5295",
}