Foundations for Model-Based Engineering of Systems of Systems
basic concepts and taxonomy of dependable and secure computing .