@misc{indiciaedbb9b3c37935,
  title = {Testing Strategies for Model-Based Development},
  author = {Heimdahl, Mats P. E. and Whalen, Mike and Rajan, Ajitha and Miller, Steven P.},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060018336},
  note = {Source identifier: 20060018336}
}