Text this: Modelling and analysis of uncertain systems.