Markovian queueing network models for performance analysis of a single-bus multiprocessor system | IEEE Journals & Magazine | IEEE Xplore