Use of SysML for Quantitative System Reliability and Availability Analysis | IEEE Conference Publication | IEEE Xplore