@Inproceedings{EPTCS105.6, author = {Park, Mingyu and Byun, Taejoon and Choi, Yunja}, year = {2012}, title = {Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems}, editor = {\"Olveczky, Peter Csaba and Artho, Cyrille}, booktitle = {{\rm Proceedings First International Workshop on} Formal Techniques for Safety-Critical Systems, {\rm Kyoto, Japan, November 12, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {105}, publisher = {Open Publishing Association}, pages = {69-84}, doi = {10.4204/EPTCS.105.6}, }