@misc{indiciae9cbdfea4980c,
  title = {Advanced Symbolic Analysis Tools for Fault-Tolerant Integrated Distributed Systems},
  author = {Dutertre, Bruno and Jonanovic, Dejan and Navas, Jorge},
  year = {2018},
  url = {https://ntrs.nasa.gov/citations/20180006291},
  note = {Source identifier: 20180006291}
}