@proceedings{svv09,
  editor = {Ralf Huuck and Gerwin Klein and Bastian Schlich},
  title = {Proc.\ 4th International Workshop on System Software Verification (SSV09)},
  series = {ENTCS},
  volume = 254,
  publisher = {Elsevier},
  year = 2009,
}