Davis, J., Bapty, T., Karsai, G., Malloy, D., Sztipanovits, J., & Tibbals, T. (1996). Model Based Data Validation. In Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention. Mobile, AL. (Original work published 2025)