@inproceedings{MuellerNordio07b, author = {Peter M\"uller and Martin Nordio}, title = {Proof-Transforming Compilation of Programs with Abrupt Termination}, booktitle = {Specification and Verification of Component-Based Systems (SAVCBS)}, publisher = {ACM Press}, year = {2007}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/MuellerNordio07b.pdf } }