published in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings Journal
presented at event MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems Conference
keywords Assurance Automotive FTA Model Driven Engineering Model Generation Safety Engineering Software Safety