    @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}
}
