Modelling & Analysis of Uncertain Systems