@article{Huuck_KB_09,
    author           = {Huuck, Ralf and Klein, Gerwin and Bastian, Schlich},
    journal          = {Electronic Notes in Theoretical Computer Science},
    month            = oct,
    pages            = {1--3},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/3441.pdf},
    title            = {Proc. 4th International Workshop on System Software Verification ({SSV09})},
    volume           = {254},
    year             = {2009}
  }