@techreport{Fab2007,
Author = {Faber, Johannes and Stierand, Ingo},
Title = {From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration},

Year = {2007},
Month = {01},
type = {techreport}
}
@COMMENT{Bibtex file generated on }