Dependability Modelling Under Uncertainty by Philipp Limbourg