@misc{indiciae18c2220404ce,
  title = {Phased-mission system analysis using Boolean algebraic methods},
  author = {Somani, Arun K. and Trivedi, Kishor S.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940018867},
  note = {Source identifier: 19940018867}
}