@inproceedings{MuellerNordio07b,
 author = {P. M\"uller and M. Nordio},
 title = {Proof-Transforming Compilation of Programs with Abrupt Termination},
 booktitle = {Specification and Verification of Component-Based Systems (SAVCBS)},
 publisher = {ACM Press},
 year = {2007}
}