Automated Reliability Assessment of On-orbit Satellite Battery Pack Based on UML | IEEE Conference Publication | IEEE Xplore