@inproceedings{
Regehr03Evolving,
Author = {John Regehr and Alastair Reid and Kirk Webb and Mike Parker and Jay Lepreau},
Title = {Evolving real-time systems using hierarchical scheduling and concurrency analysis},
Booktitle = {RTSS},
Year = {2003}
}