@misc{indiciaec25b5c85f0cf,
  title = {UML and Model Checking},
  author = {Schneider, F.},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20060034427},
  note = {Source identifier: 20060034427}
}