@inproceedings{theiling:rtcsa2000,
    author=    {Henrik Theiling},
    title=     {{E}xtracting {S}afe and {P}recise {C}ontrol {F}low from {B}inaries},
    booktitle= {{P}roceedings of the 7th {C}onference on
                {R}eal-{T}ime {C}omputing {S}ystems and {A}pplications},
    month=     {December},
    year=      {2000},
    address=   {{C}heju-do, {S}outh {K}orea}
}