FIABILOG: a software reliability tool and its application to space projects | IEEE Conference Publication | IEEE Xplore