@misc{indiciaed155bce4999b,
  title = {An Integrated Environment for Efficient Formal Design and Verification},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/19990052601},
  note = {Source identifier: 19990052601}
}