Supervisory Control Approach and its Symbolic Computation for Power-Aware RT Scheduling | IEEE Journals & Magazine | IEEE Xplore