Modelling Support for Dependability Analysis Clause Samples