Resource allocation in a dynamically partitionable bus network using a graph coloring algorithm | IEEE Journals & Magazine | IEEE Xplore