@conference {
	title = {Systems Engineering for Automating V\&V of Dependable Systems},
	author = {Baras, John S.},
	year = {2006},
	month = {10/2006},
	address = {Alexendria, VA},
	booktitle = {NITRD HCSS-AS National Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems}
}
