@conference {3816,
	title = {Model Based Data Validation},
	booktitle = {Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention},
	year = {1996},
	month = {April},
	address = {Mobile, AL},
	author = {Davis, James and Bapty, Ted and Karsai, Gabor and Malloy, Donald and Sztipanovits, Janos and Tibbals, Thomas}
}
