@misc{indiciae0539206c0b60,
  title = {Modeling and Analysis of Robotic Systems Using the K Specification Language},
  author = {Havelund, Klaus and Clement, Bradley J.},
  year = {2020},
  url = {https://ntrs.nasa.gov/citations/20220001961},
  note = {Source identifier: 20220001961}
}