@misc{indiciaeb3f3bb551027,
  title = {Reasoning about real-time systems with temporal interval logic constraints on multi-state automata},
  author = {Gabrielian, Armen},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910011374},
  note = {Source identifier: 19910011374}
}