A SAFETY-CRITICAL SOFTWARE RELIABILITY ANALYSIS METHOD BASED ON STATISTICAL MODEL CHECKING AND BAYESIAN THEORY