Scheduling and allocation of time-triggered and event-triggered services for multi-core processors with networks-on-a-chip | IEEE Conference Publication | IEEE Xplore