@inproceedings{BaumannBeckertEA2012,
  author       = {Christoph Baumann and Bernhard Beckert and Holger Blasum and 
                  Thorsten Bormer},
  title        = {Lessons Learned From Microkernel Verification: 
                  Specification is the New Bottleneck},
  booktitle    = {Proceedings, Seventh Conference on Systems Software Verification.
                  SSV 2012, Sydney, Australia)},
  editor       = {Franck Cassez and Ralf Huuck and Gerwin Klein and Bastian Schlich},
  series       = {Electronic Proceedings in Theoretical Computer Science},
  number       = {102},
  year         = {2012}
}