[ISSRE2020] RS04 - Reliability Analysis and Assurance