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 2024)