@inproceedings{BeckertBormer2012,
  author       = {Bernhard Beckert and Thorsten Bormer},
  title        = {Lessons Learned From Microkernel Verification},
  booktitle    = {Proceedings, AVOCS 2012: 
                  International Workshop on Automated Verification of Critical Systems},
  year         = {2012}
}