@InProceedings{uses:atps99,
  author =       {Christian Ferdinand and
                  Daniel K{\"a}stner and
                  Marc Langenbach and
                  Florian Martin and
                  Michael Schmidt and
                  J{\"o}rn Schneider and
                  Henrik Theiling and
                  Stephan Thesing and
                  Reinhard Wilhelm},
  title =        {{R}un-{T}ime {G}uarantees for {R}eal-{T}ime {S}ystems --- {T}he {USES} {A}pproach},
  booktitle =    {{P}roceedings of {I}nformatik '99 -- {A}rbeitstagung {P}rogrammiersprachen},
  address=       {Paderborn},
  year=          {1999}
}