@proceedings {1783, title = {Proceedings of the 3rd International ACMSigsoft Symposium on Architecting Critical Systems (ISARCS 2012)}, journal = {3rd International ACMSigsoft Symposium on Architecting Critical Systems (ISARCS 2012)}, year = {2012}, month = {Jun 2012}, publisher = {ACM}, address = {Bertinoro (Italy)}, editor = {Jorge Cuellar and Javier Lopez} }