@misc{indiciae4bbfffa242f9,
  title = {Abstractions for Fault-Tolerant Distributed System Verification},
  author = {Pike, Lee S. and Maddalon, Jeffrey M. and Miner, Paul S. and Geser, Alfons},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20040139819},
  note = {Source identifier: 20040139819}
}