@misc{indiciaebdb23c686218,
  title = {A bibliography on formal methods for system specification, design and validation},
  author = {Meyer, J. F. and Furchtgott, D. G. and Movaghar, A.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19820016114},
  note = {Source identifier: 19820016114}
}