Year of publishing 2013.06.22 Authors X. Xu, Q. Lu, L. Zhu, Z. Li, S. Sakr, H. Wada, I. Weber Venue 4th International ACM SIGSOFT Symposium on Architecting Critical Systems, (ISARCS 2013), Vancouver, British Columbia, Canada Type Conference Paper DOI http://dl.acm.org/citation.cfm?id=2465472