A software reliability engineering success story. AT&T's Definity PBX | IEEE Conference Publication | IEEE Xplore