A model-based framework for the design of a symbolic scheduler for pre-emptive real-time tasks | IEEE Conference Publication | IEEE Xplore