@booklet {4336,
	title = {New Developments in Model-Integrated Development of High-Confidence Software},
	journal = {Safe and Secure Systems \& Software Symposium},
	year = {2010},
	month = {06/2010},
	type = {Presentation},
	address = {Beavercreek, OH},
	url = {http://www.azimuth-corp.com/conference/S52010/papers/presentations/Day_3/New\%20Developments\%20in\%20Model-Integrated\%20Development\%20of\%20High-Confidence\%20Software\%20\%5BPorter\%5D.pdf},
	author = {Joseph Porter and Graham Hemingway and Kottenstette, Nicholas and Nine, Harmon and Chris vanBuskirk and Karsai, Gabor and Sztipanovits, Janos}
}
