Reliable software and communication. I. An overview | IEEE Journals & Magazine | IEEE Xplore