The FuzzEd editor for dependability modeling and analysis.