Special section: Dependable system modelling and analysis