Title: Proceedings of the 4th International ACM Sigsoft Symposium on Architecting Critical Systems