- Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López, editors, Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM, 2012.