Aspect-Oriented Customization of the Scheduling Algorithms and the Resource Access Protocols of a Real-Time Operating System Family | IEEE Conference Publication | IEEE Xplore