@PROCEEDINGS{fmics2006,
  EDITOR       = "Brim, L. and Haverkort, B. and Leucker, M. and
                  van de Pol, J.",
  TITLE        = "11th International Workshop on Formal Methods for
                  Industrial Critical Systems, FMICS, Bonn, Germany",
  BOOKTITLE    = "11th International Workshop on Formal Methods for
                  Industrial Critical Systems, FMICS, Bonn, Germany",
  SERIES       = "Lecture Notes in Computer Science",
  VOLUME       = "4346",
  YEAR         = "2006",
  PUBLISHER    = "Springer Verlag",
  ADDRESS      = "Berlin, Germany"
}

@INPROCEEDINGS{muehlberg:blasting_linux_code,
  AUTHOR       = {M{\"u}hlberg, Jan Tobias and L{\"u}ttgen, Gerald},
  TITLE        = {{B}lasting {L}inux {C}ode},
  PAGES        = {211 -- 226},
  CROSSREF     = {fmics2006}
}