Geometry of reliability models of electrical system used inside spacecraft | IEEE Conference Publication | IEEE Xplore