@misc{indiciaec0d1c2a72c3a,
  title = {Model-checking for validation of a fault protection system},
  author = {Feather, M. and Fickas, S. and Razermera-Mamy, N.},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20060039827},
  note = {Source identifier: 20060039827}
}