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 Jørgensen 001; Clemens Grelck (GPCE, 2020)