@misc{indiciae400da9d84eb1,
  title = {Model Verification of Mixed Dynamic Systems},
  author = {Evensen, D. A. and Chrostowski, J. D. and Hasselman, T. K.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19810000196},
  note = {Source identifier: 19810000196}
}