@inproceedings{ksy-formats07,
    author = "Pavel Krcal and Martin Stigge and Wang Yi",
    title = {Multi-Processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times},
    booktitle = {Proc. of FORMATS'07, Salzburg, Austria},
    editor = {J.-F. Raskin and P.S. Thiagarajan}, 
    pages = {274--289},
    volume = {4763},
    series = {Lecture Notes in Computer Science}, 
    publisher = {Springer--Verlag},
    year = {2007},
}