@misc{indiciae05d1763fa19f,
  title = {Model checking investigations for fauIt protect ion system validation},
  author = {Barltrop, Kevin J. and Pingree, Paula J.},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20060043632},
  note = {Source identifier: 20060043632}
}