Pattern-based Safety Engineering: Semantic Enrichment of System-Architecture Models for Semi-Automated Safety Analysis