@misc{indiciae6ddc80b4cf36,
  title = {Temporal logics and real time expert systems.},
  author = {J A Blom},
  year = {1996},
  doi = {10.1016/0169-2607(96)01761-0},
  url = {https://pubmed.ncbi.nlm.nih.gov/8894390/},
  note = {Source identifier: 8894390}
}