DRAWNET++: A FLEXIBLE FRAMEWORK FOR BUILDING DEPENDABILITY MODELS