@InProceedings{Hillebrand:HVC07-153,
  author =       "Mark A. Hillebrand and Wolfgang Paul",
  title =        "On the Architecture of System Verification
                 Environments",
  booktitle =    "Hardware and Software, Verification and Testing, Third
                 International Haifa Verification Conference, HVC 2007,
                 Haifa, Israel, October 23--25, 2007",
  editor =       "Karen Yorav",
  year =         "2008",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4899",
  pages =        "153--168",
  ee =           "http://dx.doi.org/10.1007/978-3-540-77966-7_14",
}