PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report.
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jrgensen, Clemens Grelck
Browse the full GPCE paper archive.