@conference {
	title = {A Rigorous Framework for Model-Based Systems Engineering and Applications},
	author = {Baras, John S.},
	year = {2014},
	month = {01/2014},
	address = {East Hartford, CT},
	organization = {United Technologies Research Center (UTRC)}
}
