@STRING{rspsym  = {IEEE/IFIP International Symposium on Rapid System Prototyping} }
@inproceedings{SKF+:2009,
  author        = {Andr\'e S\"ulflow and Ulrich K\"uhne and G\"orschwin Fey and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{WoLFram} - A Word Level Framework for Formal Verification},
  booktitle     = rspsym,
  pages         = {11--17},
  year          = 2009
}