A Markov Model for Availability of a Packet-Switching Computer Network | IEEE Journals & Magazine | IEEE Xplore