{Ob16, <br>AUTHOR = {Oberhauser, Jonas},<br>TITLE = {Order Reduction for Interruptible Multi-Core Operating Systems},<br>YEAR = {2016},<br>BOOKTITLE = {8th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'16)}, <br>EDITOR = {Chechik, M. and Blazy, S.},<br>}