System problems of power supply reliability analysis formalisation | IEEE Conference Publication | IEEE Xplore