selected publications conference paper Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems. Component-Based Software Engineering. 2012