Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems