Thesis topic: Model-based Joint Analysis of Safety and Security