@techreport{theiling:phd,
    author=      {Henrik Theiling},
    title=       {Control Flow Graphs For Real-Time Systems Analysis},
    institution= {Universit{\"a}t des Saarlandes},
    address=     {Saarbr{\"u}cken, Germany},
    year=        2002,
    type=        {{P}h.\,{D}.\ {T}hesis},
}