@misc{indiciae7ae0aa1a4b4c,
  title = {Fuzzy branching temporal logic.},
  author = {Seong-ick Moon and Kwang H Lee and Doheon Lee},
  year = {2004},
  doi = {10.1109/tsmcb.2003.819485},
  url = {https://pubmed.ncbi.nlm.nih.gov/15376850/},
  note = {Source identifier: 15376850}
}