@conference {
	title = {A Rigorous Framework for Model-Based Systems Engineering and Applications},
	author = {Baras, John S.},
	year = {2013},
	month = {09/2013},
	address = {Niskayuna, NY},
	booktitle = {General Electric Global Controls Symposium}
}
