Modelling and Analysis of Uncertain Systems