Slåtten. Model-driven Engineering of Dependable Systems. IEEE, 2010, doi:10.1109/icst.2010.49.