Automatically Configuring Time-Triggered Schedulers for Use With Resource-Constrained, Single-Processor Embedded Systems | IEEE Journals & Magazine | IEEE Xplore