Christian Ferdinand Daniel Kästner Marc Langenbach Florian Martin Michael Schmidt Jörn Schneider Henrik Theiling Stephan Thesing Reinhard Wilhelm Run-Time Guarantees for Real-Time Systems - The USES Approach. 410-419 1999 GI Jahrestagung db/conf/gi/gi99.html#FerdinandKLMSSTTW99