@inproceedings{BaSSV12, <br>AUTHOR = {Baumann, Christoph and Beckert, Bernhard and Blasum, Holger and Bormer, Thorsten},<br>TITLE = {Lessons Learned From Microkernel Verification --- Specification is the New Bottleneck},<br>VOLUME = {102}, <br>YEAR = {2012},<br>PAGES = {18-32}, <br>SERIES = {Electronic Proceedings in Theoretical Computer Science},<br>BOOKTITLE = {Proceedings Seventh Conference on               Systems Software Verification, Sydney, Australia, 28-30 November 2012}, <br>PUBLISHER = {Open Publishing Association},<br>EDITOR = {Cassez, Franck and Huuck, Ralf and Klein, Gerwin and Schlich, Bastian},<br>EE = {http://dx.doi.org/10.4204/EPTCS.102.4},<br>}