A modelling and simulation based process for dependable systems design | Publicación