@conference {255631,
	author = {Gerard Holzmann},
	title = {Mars Code},
	year = {2012},
	address = {Hollywood, CA},
	publisher = {USENIX Association},
	month = oct
}
