Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. - Ayman K. Gendy; Michael J. Pont (SAFECOMP, 2008)

Automatically Configuring Time-Triggered Schedulers for Use With Resource-Constrained, Single-Processor Embedded Systems. - Ayman K. Gendy; Michael J. Pont (IEEE Trans. Ind. Informatics, 2008)

Two Simple Patterns to Support the Development of Reliable, Real-time Embedded Systems (not submitted for proceedings). - Anjali Das; Farah N. Lakhani; Ayman K. Gendy; Michael J. Pont (EuroPLoP, 2009)

Techniques for scheduling time-triggered resource-constrained embedded systems. - Ayman K. Gendy (2009)