MODELING AND ANALYSIS OF DEPENDABLE SYSTEMS