Symbolic Analysis Role in the Reliability and Availability of Power Systems | IEEE Conference Publication | IEEE Xplore