Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
ACM Digital Library