Papadopoulos, Y.2022-03-022022-03-022019978-3-030-32871-93-030-32871-6978-3-030-32872-6https://publica.fraunhofer.de/handle/publica/164986Model-based safety and assessment. 6th International Symposium, IMBSA 2019. Proceedings