A tool for the reasoning of Contextual Dependability Requirements.