Dependability modeling and analysis of software systems specified with UML
scientific article; zbMATH DE number 6329996