ISARCS '13 proceedings of the 4th ACM Sigsoft International Symposium on Architecting Critical Systems : June 17-21, 2013, Vancouver, BC, Canada / - Sigsoft, ACM. (ACM,)